共 50 条
- [1] MODULATION THEORY SOLUTION FOR RESONANT FLOW OVER TOPOGRAPHY PROCEEDINGS OF THE ROYAL SOCIETY OF LONDON SERIES A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 1987, 409 (1836): : 79 - 97
- [3] Conservativity of Type Theory over Higher-Order Arithmetic 32ND EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC, CSL 2024, 2024, 288
- [4] Higher-order hydrodynamic modulation: theory and applications for ocean waves PROCEEDINGS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2001, 457 (2015): : 2585 - 2608
- [5] A CONSISTENT HIGHER-ORDER THEORY WITHOUT A (HIGHER-ORDER) MODEL ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1989, 35 (05): : 385 - 386
- [6] HIGHER-ORDER LEVERMORE THEORY JOURNAL OF QUANTITATIVE SPECTROSCOPY & RADIATIVE TRANSFER, 1984, 32 (03): : 185 - 190