Annales scientifiques de l'Université de Clermont. Mathématiques, Actes du séminaire international d'été de logique (Clermont-Ferrand - du 15 au 26 juillet 1975), Tome 60 (1976) no. 13, pp. 77-80.
@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},
pages = {77--80},
publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont},
volume = {60},
number = {13},
year = {1976},
mrnumber = {462931},
zbl = {0359.02040},
language = {fr},
url = {http://www.numdam.org/item/ASCFM_1976__60_13_77_0/}
}
TY - JOUR
AU - Dujols, René
TI - Le résultat de Karp-Myhill dans (1) est, en un sens, le meilleur possible
JO - Annales scientifiques de l'Université de Clermont. Mathématiques
PY - 1976
SP - 77
EP - 80
VL - 60
IS - 13
PB - UER de Sciences exactes et naturelles de l'Université de Clermont
UR - http://www.numdam.org/item/ASCFM_1976__60_13_77_0/
LA - fr
ID - ASCFM_1976__60_13_77_0
ER -
%0 Journal Article
%A Dujols, René
%T Le résultat de Karp-Myhill dans (1) est, en un sens, le meilleur possible
%J Annales scientifiques de l'Université de Clermont. Mathématiques
%D 1976
%P 77-80
%V 60
%N 13
%I UER de Sciences exactes et naturelles de l'Université de Clermont
%U http://www.numdam.org/item/ASCFM_1976__60_13_77_0/
%G fr
%F 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, Actes du séminaire international d'été de logique (Clermont-Ferrand - du 15 au 26 juillet 1975), Tome 60 (1976) no. 13, pp. 77-80. http://www.numdam.org/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
|
Zbl
(2) H. Rogers Jr., Theory of Recursive functions and Effective Computability, Mc Graw-Hill Book Company, 1967.
|
MR
|
Zbl