scientific article; zbMATH DE number 177827

MaRDI QIDQ4038705zbMATH OpenFDO

Authors Rakesh M. Verma, I. V. Ramakrishnan

Publication date 18 May 1993

zbMATH Keywords

confluent rewrite systemsnoetherian systemsnonoblivious normalization algorithmsnonoverlapping systemsreductions

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

(6)

• \texttt{KNOSOS}: a fast orbit-averaging neoclassical code for stellarator geometry
• Non-linear rewrite closure and weak normalization
• Incremental techniques for efficient normalization of nonlinear rewrite systems
• Unique normal forms for nonlinear term rewriting systems: Root overlaps
• Normalization by leftmost innermost rewriting
• 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)