Geodesic
Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen.
Archiv für mathematische Logik und Grundlagenforschung, Tome 16 (1974), pp. 67-84

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

Zbl 
Egon Börger. Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen.. Archiv für mathematische Logik und Grundlagenforschung, Tome 16 (1974), pp. 67-84. http://geodesic.mathdoc.fr/item/AMLG_1974__16_137885/
@article{AMLG_1974__16_137885,
     author = {Egon B\"orger},
     title = {Beitrag zur {Reduktion} des {Entscheidungsproblems} auf {Klassen} von {Hornformeln} mit kurzen {Alternationen.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {67--84},
     year = {1974},
     volume = {16},
     zbl = {0277.02009},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1974__16_137885/}
}
TY  - JOUR
AU  - Egon Börger
TI  - Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1974
SP  - 67
EP  - 84
VL  - 16
UR  - http://geodesic.mathdoc.fr/item/AMLG_1974__16_137885/
ID  - AMLG_1974__16_137885
ER  - 
%0 Journal Article
%A Egon Börger
%T Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1974
%P 67-84
%V 16
%U http://geodesic.mathdoc.fr/item/AMLG_1974__16_137885/
%F AMLG_1974__16_137885