Publisher
Springer International Publishing
Reference24 articles.
1. Barton, G.E.: Computational complexity in two-level morphology. In: Proc. of the 24th ACL, pp. 53–59, New York (1986)
2. Biere, A., Heule, M., van Maaren H., Walsh, T. (eds): Handbook of Satisfiability. IOS Press (2009)
3. Büchi, J.R.: Weak second-order arithmetic and finite automata. Zeit. Math. Logik. Grund. Math., 66–92 (1960)
4. Castaño, J.: Global index grammars and descriptive power. Journal of Logic, Language and Information 13, 403–419 (2004)
5. Cherubini, A., Breveglieri, L., Citrini, C., Reghizzi, S.: Multipushdown languages and grammars. International Journal of Foundations of Computer Science 7(3), 253–292 (1996)