共 50 条
- [41] A CONSISTENT HIGHER-ORDER THEORY WITHOUT A (HIGHER-ORDER) MODEL ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1989, 35 (05): : 385 - 386
- [42] CALCULATION OF HIGHER-ORDER SENSITIVITIES AND HIGHER-ORDER SENSITIVITY INVARIANTS PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, 1972, 16 (03): : 325 - 330
- [44] Hamiltonian functional integrals representing regularized traces of higher-order differential operators Doklady Mathematics, 2014, 89 : 279 - 282
- [47] Typed higher-order narrowing without higher-order strategies FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 1999, 1722 : 335 - 352
- [48] Equivalence of coercivity and mean coercivity in higher-order variational integrals with application to minimization JOURNAL OF INEQUALITIES AND APPLICATIONS, 2025, 2025 (01):