Paramodulation with Well-founded Orderings

DOI10.1093/LOGCOM/EXN073zbMATH Open1161.03007OpenAlexW2070062113MaRDI QIDQ3623219FDOQ3623219

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

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

zbMATH Keywords

theorem provingterm rewritingequational reasoningKnuth-Bendix completionparamodulation

Mathematics Subject Classification ID

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

Cited In (6)

• Paramodulation and Knuth-Bendix completion with nontotal and nonmonotonic orderings
• Title not available (Why is that?)
• Automated Reasoning
• Title not available (Why is that?)
• Paramodulation with non-monotonic orderings and simplification
• Title not available (Why is that?)

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)