Author:
Shkaravska Olha,van Eekelen Marko,Tamalet Alejandro
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Lecture Notes in Computer Science;E. Albert,2008
2. Lecture Notes in Computer Science;E. Albert,2007
3. Amadio, R.M.: Synthesis of max-plus quasi-interpretations. Fundamenta Informaticae 65(1-2), 29–60 (2004)
4. Lecture Notes in Computer Science;D. Aspinall,2006
5. Atassi, V., Baillot, P., Terui, K.: Verification of Ptime Reducibility for System F Terms: Type Inference in Dual Light Affine Logic. Logical Methods in Computer Science 3(4) (2007)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献