Le résultat de Karp-Myhill dans (1) est, en un sens, le meilleur possible
Annales scientifiques de l'Université de Clermont. Mathématiques (1976)
- Volume: 60, Issue: 13, page 77-80
- ISSN: 0249-7042
Access Full Article
top
How to cite
topDujols, 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 60.13 (1976): 77-80. <http://eudml.org/doc/80439>.
@article{Dujols1976,
author = {Dujols, René},
journal = {Annales scientifiques de l'Université de Clermont. Mathématiques},
language = {fre},
number = {13},
pages = {77-80},
publisher = {UER de Sciences exactes et naturelles de l'Université de Clermont},
title = {Le résultat de Karp-Myhill dans (1) est, en un sens, le meilleur possible},
url = {http://eudml.org/doc/80439},
volume = {60},
year = {1976},
}
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
PB - UER de Sciences exactes et naturelles de l'Université de Clermont
VL - 60
IS - 13
SP - 77
EP - 80
LA - fre
UR - http://eudml.org/doc/80439
ER -
References
top- (1) J.C.E. Dekker et J. Myhill, Recursive Equivalence Types, University of California publications in mathematics, n.s., 3, 1960, p. 67-213. Zbl0249.02021MR117155
- (2) H. Rogers Jr., Theory of Recursive functions and Effective Computability, Mc Graw-Hill Book Company, 1967. Zbl0183.01401MR224462
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.