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

theorem provingterm rewritingequational reasoningKnuth-Bendix completionparamodulation

Mathematics Subject Classification ID

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

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
• scientific article; zbMATH DE number 1341621 (Why is no real title available?)
• Automated Reasoning
• scientific article; zbMATH DE number 2090319 (Why is no real title available?)
• Paramodulation with non-monotonic orderings and simplification
• scientific article; zbMATH DE number 1754647 (Why is no real title available?)

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)