Author:
Albert E.,Arenas P.,Genaim S.,Puebla G.,Zanardini D.
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers - Principles, Techniques and Tools. Addison-Wesley, Reading (1986)
2. Lecture Notes in Artificial Intelligence;E. Albert,2005
3. Lecture Notes in Computer Science;D. Aspinall,2005
4. Lecture Notes in Computer Science;G. Barthe,2007
5. Benzinger, R.: Automated higher-order complexity analysis. Theor. Comput. Sci. 318(1-2) (2004)
Cited by
63 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献