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

Mots-clés : Standard Class, Closed Prenex First-Order Formulae, Monadic Function Symbols, Conservative Reduction Class, Undecidability, Halting Problems of Register Machines, Universal Quantifier 
@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},
     publisher = {mathdoc},
     volume = {19},
     year = {1978},
     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
PB  - mathdoc
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
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1978__19_137949/
%F AMLG_1978__19_137949
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/