An improved prenex normal form1
From MaRDI portal
Publication:5723180
DOI10.2307/2964650zbMath0115.00602MaRDI QIDQ5723180
H. Jerome Keisler, C. C. Chang
Publication date: 1963
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2964650
Related Items
Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen, Reduced Products and Horn Classes