共 50 条
- [21] 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
- [22] Variational problems with constraints involving higher-order derivatives EQUILIBRIUM PROBLEMS AND VARIATIONAL MODELS, 2003, 68 : 109 - 134
- [24] Higher-order logic programming languages with constraints: A semantics TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2007, 4583 : 272 - +
- [26] Second class constraints in a higher-order Lagrangian formalism Phys Lett Sect B Nucl Elem Part High Energy Phys, 1-4 (235):
- [27] 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
- [29] Higher-Order Intentionality and Higher-Order Acquaintance Philosophical Studies, 2007, 134 : 289 - 324