Arity vs. Alternation in Second Order Logic

Authors:
Johann A. Makowsky;Y. B. Pnueli
Affiliations:
-;-
Venue:
LFCS '94 Proceedings of the Third International Symposium on Logical Foundations of Computer Science
Year:
1994

Citing 0
Cited 1

Generalized Quantifiers in Logic Programs

ESSLLI '97 Revised Lectures from the 9th European Summer School on Logic, Language, and Information: Generalized Quantifiers and Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract