Meta-rule synthesis from crossed rewrite systems

DOI10.1007/3-540-54317-1_87OpenAlexW1482133761MaRDI QIDQ5881274

Miki Hermann, Hélène Kirchner

Publication date: 9 March 2023

Published in: Conditional and Typed Rewriting Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-54317-1_87

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Confluence of terminating membership conditional TRS, A strategy to deal with divergent rewrite systems, A new approach to general E-unification based on conditional rewriting systems, On finite representations of infinite sequences of terms, Divergence phenomena during completion, Solving divergence in Knuth--Bendix completion by enriching signatures, Higher order unification via explicit substitutions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Equational completion in order-sorted algebras
• Chain properties of rule closures
• Termination of rewriting
• A complete proof of correctness of the Knuth-Bendix completion algorithm
• Schematization of infinite sets of rewrite rules generated by divergent completion processes
• On Proving Uniform Termination and Restricted Termination of Rewriting Systems
• Completion of a Set of Rules Modulo a Set of Equations
• Complete Sets of Reductions for Some Equational Theories