Theory and Applications of Models of Computation

DOI10.1007/11750321zbMATH Open1178.03075OpenAlexW4296156427MaRDI QIDQ5898862

Alasdair Urquhart

Publication date: 30 April 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11750321

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Classical propositional logic (03B05) Complexity of proofs (03F20)

Related Items (3)

Hard examples for resolution ⋮ The intractability of resolution ⋮ A Logical Autobiography

This page was built for publication: Theory and Applications of Models of Computation

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