Publication:3766878

From MaRDI portal


zbMath0629.68075MaRDI QIDQ3766878

Holger Petersen, Matthias Jantzen

Publication date: 1987



68Q25: Analysis of algorithms and problem complexity

68Q45: Formal languages and automata

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68Q42: Grammars and rewriting systems

03D03: Thue and Post systems, etc.


Related Items