共 50 条
- [22] Introduction to Decidability of Higher-Order Matching FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2010, 6014 : 1 - 1
- [24] Perihelion precession in binary systems: higher order corrections Astrophysics and Space Science, 2018, 363
- [25] Binary Reachability Analysis of Higher Order Functional Programs STATIC ANALYSIS, SAS 2012, 2012, 7460 : 388 - 404
- [26] LIFTINGS OF DERIVATIONS TO TANGENT BUNDLE OF ORDER 2 COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1976, 282 (13): : 703 - 706
- [27] On the equivalence of higher order variational problems and optimal control problems PROCEEDINGS OF THE 35TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1996, : 1648 - 1653