scientific article; zbMATH DE number 1163938
From MaRDI portal
Publication:4395562
zbMath0905.03018MaRDI QIDQ4395562
Y. B. Pnueli, Johann A. Makowsky
Publication date: 4 August 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveyfinite model theorycomplexity classesgeneralized quantifiersdescriptive complexity theoryoracles
Complexity of computation (including implicit computational complexity) (03D15) Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)
Related Items (3)
Generalized hex and logical characterizations of polynomial space ⋮ Directions in generalized quantifier theory ⋮ Arity and alternation in second-order logic
This page was built for publication:
