Das Entscheidungsproblem der Klasse von Formeln, die höchstens zwei Primformeln enthalten
- 1 March 1977
- journal article
- Published by Springer Nature in manuscripta mathematica
- Vol. 22 (1) , 13-25
- https://doi.org/10.1007/bf01182063
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Semi-conservative reductionArchive for Mathematical Logic, 1977
- Undecidable properties of finite sets of equationsThe Journal of Symbolic Logic, 1976
- Diem-Grade Logischer EntscheidungsproblemeArchive for Mathematical Logic, 1975
- The decision problem for formulas with a small number of atomic subformulasThe Journal of Symbolic Logic, 1973
- Computation: Finite and Infinite Machines.The American Mathematical Monthly, 1968
- Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing MachinesAnnals of Mathematics, 1961