Author:
Barthe Gilles,Forest Julien,Pichardie David,Rusu Vlad
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Lecture Notes in Computer Science;A. Balaa,2000
2. Lecture Notes in Computer Science;G. Barthe,2002
3. Lecture Notes in Computer Science;G. Barthe,2001
4. Barthe, G., Frade, M.J., Giménez, E., Pinto, L., Uustalu, T.: Type-based termination of recursive definitions. Mathematical Structures in Computer Science 14, 97–141 (2004)
5. Lecture Notes in Computer Science;S. Berghofer,2002
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献