Dummy elimination in equational rewriting

DOI10.1007/3-540-61464-8_44MaRDI QIDQ5055853zbMATH OpenOpenAlexFDO

Authors Maria C. F. Ferreira

Publication date 9 December 2022

Published in Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61464-8_44

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Dummy elimination: Making termination easier
• scientific article; zbMATH DE number 1614705
• Elimination transformations for associative-commutative rewriting systems
• scientific article; zbMATH DE number 1670496
• Termination Modulo Combinations of Equational Theories

Cites work

• A complete characterization of termination of 0p 1q→1r 0s
• Dummy elimination: Making termination easier
• scientific article; zbMATH DE number 3870640 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 794240 (Why is no real title available?)
• Proving termination with multiset orderings
• Termination by completion
• Termination of term rewriting: Interpretation and type elimination

Cited in

(4)

• Termination modulo equations by abstract commutation with an application to iteration
• scientific article; zbMATH DE number 1614705 (Why is no real title available?)
• scientific article; zbMATH DE number 1670496 (Why is no real title available?)
• Dummy elimination: Making termination easier

This page was built for publication: Dummy elimination in equational rewriting

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