Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. W. Damm, The OI-and IO-hierarchies, Theoretical Computer Science, vol. 20, pp 95–207, 1982.
2. W. Damm, E. Fehr, K. Indermark, Higher type recursion and self application as control structures, in Formal Description of Programming Concepts, ed. Neuhold, pp 461–478,1978
3. J. Engelfriet, Iterated pushdown-automata and complexity classes, Proc. 15th STOC, pp 365–373, 1983.
4. J. Engelfriet, E. M. Schmidt, IO and OI, J. Comp. and System Sciences, vol 15, pp328–353 1977,/vol 16, pp 67–99,1978
5. W. Damm, A. Goerdt, An automata-theoretic characterization of the OI-hierarchy, Information and Control, vol 71, pp 1–32, 1986.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献