Geodesic
Halteprobleme von Fang-Systemen (Tag Systems).
Archiv für mathematische Logik und Grundlagenforschung, Tome 20 (1980), pp. 75-84.

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

Mots-clés : tag-systems, many-one degrees, halting problem, Post normal systems, register machines 
@article{AMLG_1980__20_137962,
     author = {Bernhard Falkenberg},
     title = {Halteprobleme von {Fang-Systemen} {(Tag} {Systems).}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {75--84},
     publisher = {mathdoc},
     volume = {20},
     year = {1980},
     zbl = {0436.03037},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1980__20_137962/}
}
TY  - JOUR
AU  - Bernhard Falkenberg
TI  - Halteprobleme von Fang-Systemen (Tag Systems).
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1980
SP  - 75
EP  - 84
VL  - 20
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1980__20_137962/
ID  - AMLG_1980__20_137962
ER  - 
%0 Journal Article
%A Bernhard Falkenberg
%T Halteprobleme von Fang-Systemen (Tag Systems).
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1980
%P 75-84
%V 20
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1980__20_137962/
%F AMLG_1980__20_137962
Bernhard Falkenberg. Halteprobleme von Fang-Systemen (Tag Systems).. Archiv für mathematische Logik und Grundlagenforschung, Tome 20 (1980), pp. 75-84. http://geodesic.mathdoc.fr/item/AMLG_1980__20_137962/