共 50 条
- [41] Vakonomic Constraints in Higher-Order Classical Field Theory XVIII INTERNATIONAL FALL WORKSHOP ON GEOMETRY AND PHYSICS, 2010, 1260 : 119 - 125
- [42] A Modular Semantics for Higher-Order Declarative Programming with Constraints PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING, 2011, : 41 - 51
- [43] Variational problems with constraints involving higher-order derivatives EQUILIBRIUM PROBLEMS AND VARIATIONAL MODELS, 2003, 68 : 109 - 134
- [45] Higher-order logic programming languages with constraints: A semantics TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2007, 4583 : 272 - +
- [46] Second class constraints in a higher-order Lagrangian formalism Phys Lett Sect B Nucl Elem Part High Energy Phys, 1-4 (235):
- [48] On the Nonlinear Modeling of Systems with Higher-Order Nonholonomic Constraints 2013 13TH INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION AND SYSTEMS (ICCAS 2013), 2013, : 1009 - 1013