Quantifier elimination in a problem of logical design

DOI10.1307/MMJ/1028998141MaRDI QIDQ770742zbMATH OpenOpenAlexFDO

Authors Calvin C. Elgot, Jesse B. Wright

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Switching theory, applications of Boolean algebras to circuits and networks (94C11)

Cited in

(6)

• In memoriam Calvin C. Elgot
• Sets recognized by n-tape automata
• From Philosophical to Industrial Logics
• Decision Problems of Finite Automata Design and Related Arithmetics
• From Monadic Logic to PSL
• Calvin C. Elgot (1922-1980)

This page was built for publication: Quantifier elimination in a problem of logical design

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q770742)