scientific article; zbMATH DE number 4162276

MaRDI QIDQ3489463zbMATH OpenFDO

Authors J.Toader, Cristian Masalagiu

Publication date 1987

zbMATH Keywords

confluenceterm rewriting systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Thue and Post systems, etc. (03D03) Semantics in the theory of computing (68Q55)

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