共 50 条
- [21] Craig Interpolation with Clausal First-Order Tableaux Wernhard, Christoph (info@christophwerhard.com), 1600, Springer Science and Business Media B.V. (65): : 647 - 690
- [22] Craig Interpolation for Decidable First-Order Fragments FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PT II, FOSSACS 2024, 2024, 14575 : 137 - 159
- [24] First-Order Methods in Embedded Nonlinear Model Predictive Control 2015 EUROPEAN CONTROL CONFERENCE (ECC), 2015, : 2617 - 2622
- [25] EXISTENCE THEOREM FOR A FIRST-ORDER KOITER NONLINEAR SHELL MODEL DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS-SERIES S, 2019, 12 (06): : 1535 - 1545
- [27] Compact labelings for efficient first-order model-checking Journal of Combinatorial Optimization, 2011, 21 : 19 - 46
- [29] First-order stable model semantics and first-order loop formulas Journal of Artificial Intelligence Research, 2011, 42 : 125 - 180
- [30] FIRST-ORDER NONLINEAR DIFFERENTIAL INEQUALITY AMERICAN MATHEMATICAL MONTHLY, 1973, 80 (05): : 567 - 568