Geodesic
Additive Relations among Recursive Equivalence Types.
Mathematische Annalen, Tome 159 (1965), pp. 329-343.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : recursion theory, constructive mathematics 
@article{MAN_1965__159_182693,
     author = {A. NERODE},
     title = {Additive {Relations} among {Recursive} {Equivalence} {Types.}},
     journal = {Mathematische Annalen},
     pages = {329--343},
     publisher = {mathdoc},
     volume = {159},
     year = {1965},
     zbl = {0168.01102},
     url = {http://geodesic.mathdoc.fr/item/MAN_1965__159_182693/}
}
TY  - JOUR
AU  - A. NERODE
TI  - Additive Relations among Recursive Equivalence Types.
JO  - Mathematische Annalen
PY  - 1965
SP  - 329
EP  - 343
VL  - 159
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAN_1965__159_182693/
ID  - MAN_1965__159_182693
ER  - 
%0 Journal Article
%A A. NERODE
%T Additive Relations among Recursive Equivalence Types.
%J Mathematische Annalen
%D 1965
%P 329-343
%V 159
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAN_1965__159_182693/
%F MAN_1965__159_182693
A. NERODE. Additive Relations among Recursive Equivalence Types.. Mathematische Annalen, Tome 159 (1965), pp. 329-343. http://geodesic.mathdoc.fr/item/MAN_1965__159_182693/