Meta-rule synthesis from crossed rewrite systems
From MaRDI portal
Publication:5881274
DOI10.1007/3-540-54317-1_87OpenAlexW1482133761MaRDI QIDQ5881274
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
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