scientific article; zbMATH DE number 1555186

zbMATH Open0953.03049MaRDI QIDQ4525286FDOQ4525286

Authors: Y. B. Pnueli, Johann A. Makowsky 

Publication date: 22 January 2001

Title of this publication is not available (Why is that?)

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

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)

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
• Logics capturing relativized complexity classes uniformly
• A logic-based approach to incremental reasoning on multi-agent systems
• Title not available (Why is that?)

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)