Huwig, H.; Claus, V. Das Äquivalenzproblem für spezielle Klassen von Loop-1-Programmen. (German) Zbl 0359.68019 Theor. Comput. Sci., 3rd. GI Conf., Darmstadt 1977, Lect. Notes Comput. Sci. 48, 73-82 (1977). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 Documents MSC: 68N01 General topics in the theory of software PDF BibTeX XML