Elimination transformations for associative-commutative rewriting systems
From MaRDI portal
Publication:877834
DOI10.1007/S10817-006-9053-YzbMATH Open1113.68059OpenAlexW2065666298MaRDI QIDQ877834FDOQ877834
Authors: Kusakari Keiichirou, Nakamura Masaki, Toyama Yoshihito 
Publication date: 3 May 2007
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-006-9053-y
Recommendations
- scientific article; zbMATH DE number 4047066
- scientific article; zbMATH DE number 4106267
- Termination orderings for associative-commutative rewriting systems
- scientific article; zbMATH DE number 3949707
- scientific article; zbMATH DE number 2043518
- Reduction operators and completion of rewriting systems
- Transformations of Conditional Rewrite Systems Revisited
- Expressing combinatory reduction systems derivations in the rewriting calculus
- The Rewriting Calculus as a Combinatory Reduction System
- Commutative rational term rewriting
Cites Work
- Termination of term rewriting: Interpretation and type elimination
- Modular termination proofs for rewriting using dependency pairs
- Termination of term rewriting using dependency pairs
- Orderings for term-rewriting systems
- Term Rewriting and All That
- Termination orderings for associative-commutative rewriting systems
- Title not available (Why is that?)
- Automating the dependency pair method
- Improving dependency pairs
- Modularity of simple termination of term rewriting systems with shared constructors
- Title not available (Why is that?)
- Title not available (Why is that?)
- Automated Reasoning
- Modular and incremental automated termination proofs
- Title not available (Why is that?)
- Modular and incremental proofs of AC-termination
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (3)
Uses Software
This page was built for publication: Elimination transformations for associative-commutative rewriting systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q877834)
