Zur Entscheidbarkeit der funktionalen Äquivalenz

H. Beck. Zur Entscheidbarkeit der funktionalen Äquivalenz. In H. Barkhage, editor, Automata Theory and Formal Languages, 2nd GI Conference, Kaiserslautern, May 20-23, 1975. Volume 33 of Lecture Notes in Computer Science, pages 127-133, Springer, 1975.

Bibliographies