![](/img/cover-not-exists.png)
Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen
Egon BörgerVolume:
16
Year:
1974
Language:
german
Pages:
18
Journal:
Archive for Mathematical Logic
DOI:
10.1007/bf02025119
File:
PDF, 1.20 MB
german, 1974