Nolin, Louis Formalisation des notions de machine et de programme. (French) Zbl 0309.68004 Collection programmation. Paris: Gauthier-Villars. XIV, 218 p. 54.00 F. (1969). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 Documents MSC: 68-02 Research exposition (monographs, survey articles) pertaining to computer science 68Q45 Formal languages and automata 68N01 General topics in the theory of software 68W99 Algorithms in computer science 03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations 03D20 Recursive functions and relations, subrecursive hierarchies PDF BibTeX XML OpenURL