共 50 条
- [22] EXISTENCE AND STABILITY RESULTS OF NONLINEAR HIGHER-ORDER WAVE EQUATION WITH A NONLINEAR SOURCE TERM AND A DELAY TERM MATHEMATICA BOHEMICA, 2023, 148 (01): : 11 - 34
- [24] Superposition for Full Higher-order Logic AUTOMATED DEDUCTION, CADE 28, 2021, 12699 : 396 - 412
- [25] Higher-order superposition for dependent types REWRITING TECHNIQUES AND APPLICATIONS, 1996, 1103 : 123 - 137
- [28] A higher-order perturbation analysis of the nonlinear Schrodinger equation COMMUNICATIONS IN NONLINEAR SCIENCE AND NUMERICAL SIMULATION, 2019, 72 : 152 - 161