Author:
Fujima Koichi,Ito Sohei,Kobayashi Naoki
Publisher
Springer International Publishing
Reference22 articles.
1. Lecture Notes in Computer Science;K. Aehlig,2005
2. Lecture Notes in Computer Science;C. Broadbent,2012
3. Lecture Notes in Computer Science,2002
4. Hague, M., Murawski, A., Ong, C.-H.L., Serre, O.: Collapsible pushdown automata and recursion schemes. In: Proc. of LICS, pp. 452–461 (2008)
5. Igarashi, A., Kobayashi, N.: Resource usage analysis. ACM Trans. Prog. Lang. Syst. 27(2), 264–313 (2005)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献