Inproceedings,

On Type-2 Probabilistic Quantifiers.

, , and .
ICALP, volume 1099 of Lecture Notes in Computer Science, page 369-380. Springer, (1996)

Meta data

Tags

Users

  • @dblp

Comments and Reviews