Beck, H. 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). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Document MSC: 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 PDF BibTeX XML