scientific article; zbMATH DE number 177827

zbMATH Open0765.68067MaRDI QIDQ4038705FDOQ4038705

Authors: Rakesh M. Verma, I. V. Ramakrishnan 

Publication date: 18 May 1993

Title of this publication is not available (Why is that?)

Recommendations

• Incremental techniques for efficient normalization of nonlinear rewrite systems
• Optimal normalization in orthogonal term rewriting systems
• Transformations and confluence for rewrite systems
• scientific article; zbMATH DE number 176143
• Term Rewriting and Applications

zbMATH Keywords

reductionsconfluent rewrite systemsnoetherian systemsnonoblivious normalization algorithmsnonoverlapping systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (5)

• Normalization by leftmost innermost rewriting
• Non-linear rewrite closure and weak normalization
• Incremental techniques for efficient normalization of nonlinear rewrite systems
• Transformations and confluence for rewrite systems
• Unique normal forms for nonlinear term rewriting systems: Root overlaps

This page was built for publication:

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