Geodesic
Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen.
Archiv für mathematische Logik und Grundlagenforschung, Tome 19 (1978), pp. 111-114

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

Zbl
Mots-clés : Standard Class, Closed Prenex First-Order Formulae, Monadic Function Symbols, Conservative Reduction Class, Undecidability, Halting Problems of Register Machines, Universal Quantifier 
Egon Börger. Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen.. Archiv für mathematische Logik und Grundlagenforschung, Tome 19 (1978), pp. 111-114. http://geodesic.mathdoc.fr/item/AMLG_1978__19_137949/
@article{AMLG_1978__19_137949,
     author = {Egon B\"orger},
     title = {Bemerkung zu {Gurevich's} {Arbeit} \"uber das {Entscheidungsproblem} f\"ur {Standardklassen.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {111--114},
     year = {1978},
     volume = {19},
     zbl = {0402.03019},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1978__19_137949/}
}
TY  - JOUR
AU  - Egon Börger
TI  - Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1978
SP  - 111
EP  - 114
VL  - 19
UR  - http://geodesic.mathdoc.fr/item/AMLG_1978__19_137949/
ID  - AMLG_1978__19_137949
ER  - 
%0 Journal Article
%A Egon Börger
%T Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1978
%P 111-114
%V 19
%U http://geodesic.mathdoc.fr/item/AMLG_1978__19_137949/
%F AMLG_1978__19_137949