共 50 条
- [6] Solutions of Second-Order PDEs with First-Order Quotients Lobachevskii Journal of Mathematics, 2020, 41 : 2491 - 2509
- [9] Limited Second-Order Functionality in a First-Order Setting Journal of Automated Reasoning, 2020, 64 : 391 - 422
- [10] MAPPING SECOND-ORDER ACPS INTO FIRST-ORDER ACPS NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (03): : A354 - A354