共 50 条
- [32] HIGHER-ORDER PATH CURVATURE IN SPHERICAL KINEMATICS JOURNAL OF ENGINEERING FOR INDUSTRY-TRANSACTIONS OF THE ASME, 1973, 95 (02): : 612 - 616
- [33] Certified higher-order recursive path ordering TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2006, 4098 : 227 - 241
- [34] A Lambda-Free Higher-Order Recursive Path Order FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2017), 2017, 10203 : 461 - 479
- [35] INTEGRALS OF MOTION AND SEMIREGULAR LEPAGEAN FORMS IN HIGHER-ORDER MECHANICS JOURNAL OF PHYSICS A-MATHEMATICAL AND GENERAL, 1983, 16 (16): : 3783 - 3794