Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen.
Archiv für mathematische Logik und Grundlagenforschung (1978)
- Volume: 19, page 111-114
- ISSN: 0003-9268
Access Full Article
top
How to cite
topBörger, Egon. "Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen.." Archiv für mathematische Logik und Grundlagenforschung 19 (1978): 111-114. <http://eudml.org/doc/137949>.
@article{Börger1978,
author = {Börger, Egon},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
keywords = {Standard Class; Closed Prenex First-Order Formulae; Monadic Function Symbols; Conservative Reduction Class; Undecidability; Halting Problems of Register Machines; Universal Quantifier},
pages = {111-114},
title = {Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen.},
url = {http://eudml.org/doc/137949},
volume = {19},
year = {1978},
}
TY - JOUR
AU - Börger, Egon
TI - Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1978
VL - 19
SP - 111
EP - 114
KW - Standard Class; Closed Prenex First-Order Formulae; Monadic Function Symbols; Conservative Reduction Class; Undecidability; Halting Problems of Register Machines; Universal Quantifier
UR - http://eudml.org/doc/137949
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.