Prefix classes of krom formulae with identity
- 1 June 1980
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 22 (1-2) , 43-49
- https://doi.org/10.1007/bf02318025
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Semi-conservative reductionArchive for Mathematical Logic, 1977
- Decidability of a portion of the predicate calculusIsrael Journal of Mathematics, 1977
- The decision problem for standard classesThe Journal of Symbolic Logic, 1976
- Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen AlternationenArchive for Mathematical Logic, 1974
- Prefix classes of Krom formulasThe Journal of Symbolic Logic, 1973
- Eine Entscheidbare Klasse Von KromformelnMathematical Logic Quarterly, 1973
- Computability of Recursive FunctionsJournal of the ACM, 1963
- Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing MachinesAnnals of Mathematics, 1961