Zur Entscheidbarkeit der funktionalen Ă„quivalenz. (German) Zbl 0312.68049

Autom. Theor. form. Lang., 2nd GI Conf., Kaiserslautern 1975, Lect. Notes Comput. Sci. 33, 127-133 (1975).


68Q45 Formal languages and automata
68N01 General topics in the theory of software
68W99 Algorithms in computer science
03D20 Recursive functions and relations, subrecursive hierarchies
03B25 Decidability of theories and sets of sentences