scientific article; zbMATH DE number 1380902

MaRDI QIDQ4705622zbMATH OpenFDO

Authors Yoshihito Toyama, Michio Oyamaguchi

Publication date 20 December 1999

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited in

(3)

• Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent
• Unique normal forms for nonlinear term rewriting systems: Root overlaps
• scientific article; zbMATH DE number 7204433 (Why is no real title available?)

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