Transformations and confluence for rewrite systems

DOI10.1016/0304-3975(94)00255-0MaRDI QIDQ672232zbMATH OpenOpenAlexFDO

Authors Rakesh M. Verma

Publication date 27 February 1997

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(94)00255-0

zbMATH Keywords

constructor-based rewrite systemsleft-linear nonoverlapping systems with confluent root overlapsnonlinear systems with no overlapsnonoverlapping noetherian systems with confluent root overlapsweakly persistent confluent systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Remarks on Thatte's transformation of term rewriting systems
• Term Rewriting and Applications
• Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting system
• scientific article; zbMATH DE number 4047065
• scientific article; zbMATH DE number 4090848

Cites work

• scientific article; zbMATH DE number 4037157 (Why is no real title available?)
• scientific article; zbMATH DE number 4037164 (Why is no real title available?)
• scientific article; zbMATH DE number 3684925 (Why is no real title available?)
• scientific article; zbMATH DE number 3730111 (Why is no real title available?)
• scientific article; zbMATH DE number 177827 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• Abstract data types and software validation
• Implementing first-order rewriting with constructor systems
• On the correspondence between two classes of reduction systems
• On theories with a combinatorial definition of 'equivalence'
• Programming in equational logic: Beyond strong sequentiality
• Programming with Equations
• The algebraic specification of abstract data types
• Transforming strongly sequential rewrite systems with constructors for efficient parallel execution

Cited in

(7)

• -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
• Implementing first-order rewriting with constructor systems
• scientific article; zbMATH DE number 6744203 (Why is no real title available?)
• Pushing the frontiers of combining rewrite systems farther outwards
• scientific article; zbMATH DE number 65745 (Why is no real title available?)
• Remarks on Thatte's transformation of term rewriting systems
• scientific article; zbMATH DE number 177827 (Why is no real title available?)

This page was built for publication: Transformations and confluence for rewrite systems

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