scientific article; zbMATH DE number 1301091

zbMATH Open0925.03096MaRDI QIDQ4246736FDOQ4246736

Mizuhito Ogawa

Publication date: 15 June 1999

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

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

Mathematics Subject Classification ID

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

Cited In (4)

• On the Normalization and Unique Normalization Properties of Term Rewrite Systems
• Conditional linearization
• 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

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)