scientific article; zbMATH DE number 1759634

zbMath0999.68132MaRDI QIDQ4536626

Dietrich Kuske

Publication date: 28 November 2002

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cellular automata (computational aspects) (68Q80) Decidability of theories and sets of sentences (03B25)

Related Items (1)

Theories of orders on the set of words

This page was built for publication: