Around dot-depth one

MaRDI QIDQ5740426zbMATH OpenFDO

Authors Manfred Kufleitner, Alexander Lauser

Publication date 26 July 2016

Mathematics Subject Classification ID

Classical first-order logic (03B10) Automata and formal grammars in connection with logical questions (03D05) Semigroups in automata theory, linguistics, etc. (20M35) Formal languages and automata (68Q45)

Recommendations

• Around dot-depth one
• The dot-depth hierarchy, 45 years later
• On dot-depth two
• scientific article; zbMATH DE number 1500543
• Some logical characterizations of the dot-depth hierarchy and applications

Cited in

(10)

• The half-levels of the \(\mathrm {FO}_2\) alternation hierarchy
• Regular languages of thin trees
• scientific article; zbMATH DE number 4016195 (Why is no real title available?)
• Around dot depth two
• scientific article; zbMATH DE number 2080228 (Why is no real title available?)
• The dot-depth hierarchy, 45 years later
• scientific article; zbMATH DE number 3999320 (Why is no real title available?)
• Around dot-depth one
• Separation for dot-depth two
• THE DOT-DEPTH AND THE POLYNOMIAL HIERARCHIES CORRESPOND ON THE DELTA LEVELS

This page was built for publication: Around dot-depth one

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