AC completion with termination tools

DOI10.1007/978-3-642-22438-6_37MaRDI QIDQ5200044zbMATH OpenOpenAlexFDO

Authors Sarah Winkler, Aart Middeldorp

Publication date 29 July 2011

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-22438-6_37

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Multi-completion with termination tools
• Multi-completion with Termination Tools (System Description)
• Termination and completion modulo associativity, commutativity and identity
• AC-KBO revisited
• On ground AC-completion

Cites work

• A dependency pair framework for \(A \vee C\)-termination
• Adventures in associative-commutative unification
• An algebraic approach to unification under associativity and commutativity
• Complete Sets of Reductions for Some Equational Theories
• Completion for multiple reduction orderings
• scientific article; zbMATH DE number 1722701 (Why is no real title available?)
• scientific article; zbMATH DE number 6027911 (Why is no real title available?)
• Matrix interpretations for proving termination of term rewriting
• Modular and incremental proofs of AC-termination
• Multi-completion with Termination Tools (System Description)
• Only prime superpositions need be considered in the Knuth-Bendix completion procedure
• Proving termination properties with \textsc{mu-term}
• Slothrop: Knuth-Bendix Completion with a Modern Termination Checker
• Termination of rewriting systems by polynomial interpretations and its implementation

Cited in

(5)

• Normalized completion revisited
• Multi-completion with termination tools
• Multi-completion with Termination Tools (System Description)
• Left-Linear Completion with AC Axioms
• Left-linear completion with AC axioms

Describes a project that uses

Uses Software

• REVE
• AProVE
• Tyrolean
• mkbTT
• Slothrop

This page was built for publication: AC completion with termination tools

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