Decision Problems in Predicate Logic

This publication has 76 references indexed in Scilit:

• Conservative reduction classes of Krom formulas
  The Journal of Symbolic Logic, 1982
• The equivalence of Horn and network complexity for Boolean functions
  Acta Informatica, 1981
• Prefix classes of krom formulae with identity
  Archive for Mathematical Logic, 1980
• The classical decision problem and partial functions
  Archive for Mathematical Logic, 1980
• Sentences with finite models
  Mathematical Logic Quarterly, 1975
• Linear sampling and the ∀∃∀ case of the decision problem
  The Journal of Symbolic Logic, 1974
• Prefix classes of Krom formulas
  The Journal of Symbolic Logic, 1973
• On the Decision Problem for Formulas in which all Disjunctions are Binary
  Published by Elsevier ,1971
• Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität
  Mathematical Logic Quarterly, 1955
• Über die Erfüllbarkeit gewisser Zählausdrücke
  Mathematische Annalen, 1928