Remarks on Thatte's transformation of term rewriting systems

DOI10.1016/J.IC.2003.09.006MaRDI QIDQ1763376zbMATH OpenOpenAlexFDO

Authors Bas Luttik, P. H. Rodenburg, Rakesh M. Verma

Publication date 22 February 2005

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2003.09.006

zbMATH Keywords

Term rewritingConstructor-based systemThatte's transformation

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Transformations and confluence for rewrite systems
• Generalized sufficient conditions for modular termination of rewriting
• scientific article; zbMATH DE number 4047065
• Term Rewriting and Applications
• Confluence of curried term-rewriting systems

Cites work

• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 1543072 (Why is no real title available?)
• scientific article; zbMATH DE number 1361483 (Why is no real title available?)
• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• A theory of using history for equational systems with applications
• Comparing curried and uncurried rewriting
• Confluence of curried term-rewriting systems
• Forward and backward simulations. I. Untimed Systems
• Implementing first-order rewriting with constructor systems
• On the correspondence between two classes of reduction systems
• Transformations and confluence for rewrite systems

Cited in

(6)

• Thompson transformations for IF-logic
• scientific article; zbMATH DE number 1722708 (Why is no real title available?)
• scientific article; zbMATH DE number 3949707 (Why is no real title available?)
• Correctness of Context-Moving Transformations for Term Rewriting Systems
• scientific article; zbMATH DE number 3878384 (Why is no real title available?)
• Transformations and confluence for rewrite systems

This page was built for publication: Remarks on Thatte's transformation of term rewriting systems

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