Paramodulation with Well-founded Orderings

DOI10.1093/LOGCOM/EXN073MaRDI QIDQ3623219zbMATH OpenOpenAlexFDO

Authors Miquel Bofill, Albert Rubio

Publication date 16 April 2009

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exn073

zbMATH Keywords

equational reasoningKnuth-Bendix completionparamodulationterm rewritingtheorem proving

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 2090319
• Paramodulation and Knuth-Bendix completion with nontotal and nonmonotonic orderings
• scientific article; zbMATH DE number 1754647
• Paramodulation with non-monotonic orderings and simplification
• Automated Reasoning

Cited in

(6)

• Paramodulation and Knuth-Bendix completion with nontotal and nonmonotonic orderings
• Paramodulation with non-monotonic orderings and simplification
• scientific article; zbMATH DE number 1341621 (Why is no real title available?)
• scientific article; zbMATH DE number 1754647 (Why is no real title available?)
• scientific article; zbMATH DE number 2090319 (Why is no real title available?)
• Automated Reasoning

This page was built for publication: Paramodulation with Well-founded Orderings

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