scientific article; zbMATH DE number 3845566

MaRDI QIDQ3315499zbMATHFDO

Authors Harry R. Lewis

Publication date 1983

Mathematics Subject Classification ID

Classical first-order logic (03B10) Complexity of computation (including implicit computational complexity) (03D15) Turing machines and related notions (03D10)

Cited in

(11)

• scientific article; zbMATH DE number 1453080 (Why is no real title available?)
• On the combinatorial and algebraic complexity of quantifier elimination
• Exotic quantifiers, complexity classes, and complete problems
• Easy solutions for a hard problem? The computational complexity of reciprocals with quantificational antecedents
• scientific article; zbMATH DE number 845472 (Why is no real title available?)
• The Complexity of Enriched Mu-Calculi
• The Complexity of Counting Quantifiers on Equality Languages
• scientific article; zbMATH DE number 5139037 (Why is no real title available?)
• On the quantifier complexity of \(\Delta_{n+1}(T)\)-induction
• Complexity of quantifier elimination in the theory of ordinary differential equations
• Computational complexity of quantified Boolean formulas with fixed maximal deficiency

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 Q3315499)