scientific article; zbMATH DE number 1555186

MaRDI QIDQ4525286zbMATH OpenFDO

Authors Y. B. Pnueli, Johann A. Makowsky

Publication date 22 January 2001

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Complexity of computation (including implicit computational complexity) (03D15) Turing machines and related notions (03D10)

Recommendations

• scientific article; zbMATH DE number 1272994
• scientific article; zbMATH DE number 1453078
• Capturing relativized complexity classes with Lindström quantifiers
• scientific article; zbMATH DE number 223336
• scientific article; zbMATH DE number 515747

Cited in

(10)

• Logics with Zero-One Laws that Are Not Fragments of Bounded-Variable Infinitary Logic
• Oracles and Advice as Measurements
• Generalized hex and logical characterizations of polynomial space
• Capturing complexity classes with Lindström quantifiers
• Directions in generalized quantifier theory
• Capturing relativized complexity classes with Lindström quantifiers
• Expressing uniformity via oracles
• A logic-based approach to incremental reasoning on multi-agent systems
• Logics capturing relativized complexity classes uniformly
• scientific article; zbMATH DE number 1678393 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4525286)