An improved prenex normal form1

DOI10.2307/2964650zbMath0115.00602OpenAlexW2007521205MaRDI 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

zbMATH Keywords

mathematical logic

Related Items (2)

Reduced Products and Horn Classes ⋮ Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen

This page was built for publication: An improved prenex normal form¹