scientific article; zbMATH DE number 1512072
From MaRDI portal
Publication:4505699
zbMath0973.68136MaRDI QIDQ4505699
Stefan A. Mann, Robert Geisler, Hartmut Ehrig, Marcus Klar, Martin Grosse-Rhode
Publication date: 4 September 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)
This page was built for publication:
