Contributions to the reduction theory of the decision problem
From MaRDI portal
Publication:5802125
DOI10.1007/BF02021316zbMath0041.35105MaRDI QIDQ5802125
Publication date: 1950
Published in: Acta Mathematica Academiae Scientiarum Hungaricae (Search for Journal in Brave)
03-XX: Mathematical logic and foundations
Related Items
Contributions to the reduction theory of the decision problem, Satisfiability of formulae with one \(\forall\) is decidable in exponential time, The unsolvability of the Gödel class with identity, On the Gödel class with identity, Skolem reduction classes
Cites Work