On Type-2 Probabilistic Quantifiers

Ronald V. Book, Heribert Vollmer, Klaus W. Wagner. On Type-2 Probabilistic Quantifiers. In Friedhelm Meyer auf der Heide, Burkhard Monien, editors, Automata, Languages and Programming, 23rd International Colloquium, ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings. Volume 1099 of Lecture Notes in Computer Science, pages 369-380, Springer, 1996.

Abstract

Abstract is missing.