scientific article; zbMATH DE number 938516

MaRDI QIDQ4896925zbMATH OpenFDO

Authors

Publication date 27 October 1996

zbMATH Keywords

resolution proofs

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Short proofs are narrow—resolution made simple
• Short proofs are narrow -- resolution made simple
• On the automatizability of resolution and related propositional proof systems
• scientific article; zbMATH DE number 1948187

Cited in

(2)

• On Extending Bounded Proofs to Inductive Proofs
• scientific article; zbMATH DE number 1948187 (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 Q4896925)