Relativization of Gurevich’s Conjectures

DOI10.1007/978-3-030-48006-6_7OpenAlexW3030874017MaRDI QIDQ5049042

Anuj Dawar, Anatole Dahan

Publication date: 9 November 2022

Published in: Fields of Logic and Computation III (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2002.03725

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On total functions, existence theorems and computational complexity
• The polynomial-time hierarchy
• Equivalence Relations, Invariants, and Normal Forms
• A second step toward the strong polynomial-time hierarchy
• Generalized Quantifiers and Logical Reducibilities

This page was built for publication: Relativization of Gurevich’s Conjectures