共 50 条
- [2] Higher-order mechanical systems with constraints [J]. JOURNAL OF MATHEMATICAL PHYSICS, 2000, 41 (08) : 5304 - 5324
- [3] Higher-Order MSL Horn Constraints [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (POPL): : 2017 - 2047
- [4] Higher-order positive set constraints [J]. COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2002, 2471 : 473 - 489
- [6] Higher-order field theory with constraints [J]. Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas, 2012, 106 : 89 - 95
- [8] PERTURBATIVE HAMILTONIAN CONSTRAINTS FOR HIGHER-ORDER THEORIES [J]. INTERNATIONAL JOURNAL OF MODERN PHYSICS A, 2011, 26 (26): : 4661 - 4686
- [9] Intermediate Systems and Higher-Order Differential Constraints [J]. JOURNAL OF SIBERIAN FEDERAL UNIVERSITY-MATHEMATICS & PHYSICS, 2018, 11 (05): : 550 - 560
- [10] A higher-order logic programming language with constraints [J]. FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 108 - 122