Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen.
Börger, Egon
Archiv für mathematische Logik und Grundlagenforschung, Tome 16 (1974), p. 67-84 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1974-01-01
EUDML-ID : urn:eudml:doc:137885 
@article{GDZPPN00204434X,
     title = {Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     volume = {16},
     year = {1974},
     pages = {67-84},
     zbl = {0277.02009},
     url = {http://dml.mathdoc.fr/item/GDZPPN00204434X}
}

Börger, Egon. 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://gdmltest.u-ga.fr/item/GDZPPN00204434X/