scientific article; zbMATH DE number 1555186
From MaRDI portal
Publication:4525286
zbMath0953.03049MaRDI QIDQ4525286
Y. B. Pnueli, Johann A. Makowsky
Publication date: 22 January 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Complexity of computation (including implicit computational complexity) (03D15) Logic with extra quantifiers and operators (03C80) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Turing machines and related notions (03D10)
Related Items (6)
Generalized hex and logical characterizations of polynomial space ⋮ Directions in generalized quantifier theory ⋮ Capturing complexity classes with Lindström quantifiers ⋮ Logics capturing relativized complexity classes uniformly ⋮ Logics with Zero-One Laws that Are Not Fragments of Bounded-Variable Infinitary Logic ⋮ A logic-based approach to incremental reasoning on multi-agent systems
This page was built for publication:
