scientific article; zbMATH DE number 1301091

MaRDI QIDQ4246736zbMATHFDO

Authors Mizuhito Ogawa

Publication date 15 June 1999

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Recommendations

• Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem
• Unique normal forms for nonlinear term rewriting systems: Root overlaps
• Conditional linearization
• On the modularity of normal forms in rewriting
• On the Normalization and Unique Normalization Properties of Term Rewrite Systems

Cited in

(4)

• On the Normalization and Unique Normalization Properties of Term Rewrite Systems
• Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem
• Unique normal forms for nonlinear term rewriting systems: Root overlaps
• Conditional linearization

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 Q4246736)