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