Publisher
Springer International Publishing
Reference14 articles.
1. Aho, A.V.: Indexed grammars–an extension of context-free grammars. J. ACM 15(4), 647–671 (1968)
2. Asveld, P.: Time and space complexity of inside-out macro languages. Int. J. Comput. Math. 10(1), 3–14 (1981)
3. Engelfriet, J., Schmidt, E.M.: IO and OI. J. Comput. Syst. Sci. 15(3), 328–353 (1977); and 16(1), 67–99 (1978)
4. Guessarian, I.: Pushdown tree automata. Math. Syst. Theory 16(1), 237–263 (1983)
5. Kozen, D.: Lower bounds for natural proof systems. In: Proc. 18th Symp. Foundations of Computer Science, pp. 254–266 (1977)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献