Le résultat de Karp-Myhill dans (1) est, en un sens, le meilleur possible
Dujols, René
Annales scientifiques de l'Université de Clermont. Mathématiques, Tome 58 (1976), p. 77-80 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU) 
@article{ASCFM_1976__60_13_77_0,
     author = {Dujols, Ren\'e},
     title = {Le r\'esultat de Karp-Myhill dans (1) est, en un sens, le meilleur possible},
     journal = {Annales scientifiques de l'Universit\'e de Clermont. Math\'ematiques},
     volume = {58},
     year = {1976},
     pages = {77-80},
     mrnumber = {462931},
     zbl = {0359.02040},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/ASCFM_1976__60_13_77_0}
}

Dujols, René. Le résultat de Karp-Myhill dans (1) est, en un sens, le meilleur possible. Annales scientifiques de l'Université de Clermont. Mathématiques, Tome 58 (1976) pp. 77-80. http://gdmltest.u-ga.fr/item/ASCFM_1976__60_13_77_0/

(1) J.C.E. Dekker et J. Myhill, Recursive Equivalence Types, University of California publications in mathematics, n.s., 3, 1960, p. 67-213. | MR 117155 | Zbl 0249.02021

(2) H. Rogers Jr., Theory of Recursive functions and Effective Computability, Mc Graw-Hill Book Company, 1967. | MR 224462 | Zbl 0183.01401