Arnold, A.; Nivat, M. Non deterministic recursive program schemes. (English) Zbl 0361.68020 Fundam. Comput. Theory, Proc. int. Conf., Poznan-Kornik 1977, Lect. Notes Comput. Sci. 56, 12-21 (1977). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 9 Documents MSC: 68N01 General topics in the theory of software PDF BibTeX XML OpenURL