共 50 条
- [32] The geometry of linear higher-order recursion LICS 2005: 20th Annual IEEE Symposium on Logic in Computer Science - Proceedings, 2005, : 366 - 375
- [37] Discrete variational principles for higher-order Lagrangians NUOVO CIMENTO DELLA SOCIETA ITALIANA DI FISICA B-BASIC TOPICS IN PHYSICS, 2005, 120 (09): : 931 - 938