scientific article; zbMATH DE number 177827

MaRDI QIDQ4038705zbMATH OpenFDO

Authors Rakesh M. Verma, I. V. Ramakrishnan

Publication date 18 May 1993

zbMATH Keywords

reductionsconfluent rewrite systemsnoetherian systemsnonoblivious normalization algorithmsnonoverlapping systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

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

Cited in

(5)

• Unique normal forms for nonlinear term rewriting systems: Root overlaps
• 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

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)