The Decision Problem for Segregated Formulas in First-Order Logic.

DOI10.7146/math.scand.a-10862zbMath0169.31003OpenAlexW2531658942MaRDI QIDQ5556426

Melven R. Krom

Publication date: 1967

Published in: MATHEMATICA SCANDINAVICA (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/166022

zbMATH Keywords

recursion theory, constructive mathematics

Related Items (2)

The decision problem for formulas in prenex conjunctive normal form with binary disjunctions ⋮ Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen

This page was built for publication: The Decision Problem for Segregated Formulas in First-Order Logic.