scientific article; zbMATH DE number 1380902

zbMath0939.68686MaRDI QIDQ4705622

Michio Oyamaguchi, Yoshihito Toyama

Publication date: 20 December 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Unique normal forms for nonlinear term rewriting systems: Root overlaps, Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent, Unnamed Item