Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. A. K. Chandra, D. C. Kozen, and L. J. Stockmeyer. Alternation. Journal of the Association for Computing Machinery, 28(1):114–133, 1981.
2. H.-D. Ebbinghaus and J. Flum. Finite Model Theory, Springer, Berlin 1995.
3. Y. Gurevich and S. Shelah. Fixed-point extensions of first-order logic. In Proceedings of the 26th IEEE Symposium on Foundations of Computer Science, 1985.
4. M. Harrison. Introduction to Formal Languages. Addison Wesley, Reading 1978.
5. S. Heilbrunner and L. Schmitz. An efficient recognizer for the boolean closure of context-free languages. Theoretical Computer Science, 80:53–75, 1991.