Quantifier elimination in a problem of logical design
From MaRDI portal
Publication:770742
DOI10.1307/mmj/1028998141zbMath0085.34001OpenAlexW2058157356MaRDI QIDQ770742
Jesse B. Wright, Calvin C. Elgot
Publication date: 1959
Published in: Michigan Mathematical Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1307/mmj/1028998141
Switching theory, applications of Boolean algebras to circuits and networks (94C11) Mathematical logic and foundations (03-XX)
Related Items
Decision Problems of Finite Automata Design and Related Arithmetics ⋮ In memoriam Calvin C. Elgot ⋮ From Philosophical to Industrial Logics ⋮ From Monadic Logic to PSL ⋮ Sets recognized by n-tape automata ⋮ Calvin C. Elgot (1922-1980)
