Knuth-Bendix completion for non-symmetric transitive relations

DOI10.1016/S1571-0661(04)00296-8MaRDI QIDQ2841250zbMATH OpenOpenAlexFDO

Authors Georg Struth

Publication date 24 July 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s1571-0661(04)00296-8

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 3856444
• Relational Methods in Computer Science
• scientific article; zbMATH DE number 4076598
• Formalizing Knuth-Bendix orders and Knuth-Bendix completion
• A completeness result for relation algebra with binders
• Paramodulation and Knuth-Bendix completion with nontotal and nonmonotonic orderings
• Knuth-bendix completion of horn clause programs for restricted linear resolution and paramodulation
• Kolmogorov complexity and symmetric relational structures
• Complete equational unification based on an extension of the Knuth-Bendix completion procedure
• A completeness theorem for nondeterministic Kleene algebras

Cites work

• Bi-rewrite systems
• Buchberger's algorithm: The term rewriter's point of view
• Completion of rewrite systems with membership constraints. I: Deduction rules
• Conditional rewriting logic as a unified model of concurrency
• scientific article; zbMATH DE number 1615240 (Why is no real title available?)
• scientific article; zbMATH DE number 1722713 (Why is no real title available?)
• scientific article; zbMATH DE number 50648 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 778200 (Why is no real title available?)
• scientific article; zbMATH DE number 1405627 (Why is no real title available?)
• Shostak's congruence closure as completion
• Termination orderings for associative-commutative rewriting systems

Cited in

(11)

• Paramodulation and Knuth-Bendix completion with nontotal and nonmonotonic orderings
• Structures for abstract rewriting
• KBCV – Knuth-Bendix Completion Visualizer
• Formalizing Knuth-Bendix orders and Knuth-Bendix completion
• scientific article; zbMATH DE number 3956435 (Why is no real title available?)
• scientific article; zbMATH DE number 4047064 (Why is no real title available?)
• scientific article; zbMATH DE number 4076598 (Why is no real title available?)
• scientific article; zbMATH DE number 4080964 (Why is no real title available?)
• Relational Methods in Computer Science
• Solving divergence in Knuth--Bendix completion by enriching signatures
• Chain properties of rule closures

This page was built for publication: Knuth-Bendix completion for non-symmetric transitive relations

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