Jede mit Stackautomaten berechenbare Funktion ist elementar.
Archiv für mathematische Logik und Grundlagenforschung, Tome 15 (1972), pp. 19-30
Voir la notice de l'article provenant de la source European Digital Mathematics Library
ZblHorst Müller. Jede mit Stackautomaten berechenbare Funktion ist elementar.. Archiv für mathematische Logik und Grundlagenforschung, Tome 15 (1972), pp. 19-30. http://geodesic.mathdoc.fr/item/AMLG_1972__15_137862/
@article{AMLG_1972__15_137862,
author = {Horst M\"uller},
title = {Jede mit {Stackautomaten} berechenbare {Funktion} ist elementar.},
journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
pages = {19--30},
year = {1972},
volume = {15},
zbl = {0255.02041},
url = {http://geodesic.mathdoc.fr/item/AMLG_1972__15_137862/}
}