Classification of AEA formulas by letter atoms

DOI10.1090/S0002-9904-1962-10809-XMaRDI QIDQ3848962zbMATH OpenFDO

Authors Burton Dreben, A. S. Kahr, Hao Wang

Publication date 1962

Published in Bulletin of the American Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

mathematical logic

Cites work

• ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE

Cited in

(2)

• Complexity results for classes of quantificational formulas
• Description of restricted automata by first-order formulae

This page was built for publication: Classification of $AEA$ formulas by letter atoms

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