Halteprobleme von Fang-Systemen (Tag Systems).
Archiv für mathematische Logik und Grundlagenforschung (1980)
- Volume: 20, page 75-84
- ISSN: 0003-9268
Access Full Article
topHow to cite
topFalkenberg, Bernhard. "Halteprobleme von Fang-Systemen (Tag Systems).." Archiv für mathematische Logik und Grundlagenforschung 20 (1980): 75-84. <http://eudml.org/doc/137962>.
@article{Falkenberg1980,
author = {Falkenberg, Bernhard},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
keywords = {tag-systems; many-one degrees; halting problem; Post normal systems; register machines},
pages = {75-84},
title = {Halteprobleme von Fang-Systemen (Tag Systems).},
url = {http://eudml.org/doc/137962},
volume = {20},
year = {1980},
}
TY - JOUR
AU - Falkenberg, Bernhard
TI - Halteprobleme von Fang-Systemen (Tag Systems).
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1980
VL - 20
SP - 75
EP - 84
KW - tag-systems; many-one degrees; halting problem; Post normal systems; register machines
UR - http://eudml.org/doc/137962
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.