Eine Entscheidbare Klasse Von Kromformeln
- 1 January 1973
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 19 (8-10) , 117-120
- https://doi.org/10.1002/malq.19730190803
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen AlternationenArchive for Mathematical Logic, 1974
- On the Decision Problem for Formulas in which all Disjunctions are BinaryPublished by Elsevier ,1971
- Untersuchungen zum Entscheidungsproblem der mathematischen LogikMathematische Annalen, 1934