共 50 条
[21]
Solutions of Second-Order PDEs with First-Order Quotients
[J].
Lobachevskii Journal of Mathematics,
2020, 41
:2491-2509
[22]
MAPPING SECOND-ORDER ACPS INTO FIRST-ORDER ACPS
[J].
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY,
1973, 20 (03)
:A354-A354
[23]
Limited Second-Order Functionality in a First-Order Setting
[J].
Journal of Automated Reasoning,
2020, 64
:391-422
[24]
Axiomatizations of arithmetic and the first-order/second-order divide
[J].
SYNTHESE,
2019, 196 (07)
:2583-2597
[26]
SECOND-ORDER ARITHMETIC AND FIRST-ORDER DEGREE THEORY
[J].
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY,
1974, 21 (06)
:A553-A553
[28]
FIRST-ORDER AND HIGHER-ORDER RAMAN-SCATTERING FROM F-CENTERS IN NAI
[J].
BULLETIN OF THE AMERICAN PHYSICAL SOCIETY,
1975, 20 (03)
:429-429