The tale of the quantifier alternation hierarchy of first-order logic over words

Thomas Place, Marc Zeitoun. The tale of the quantifier alternation hierarchy of first-order logic over words. SIGLOG News, 2(3):4-17, 2015. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.