共 50 条
- [42] Limited Second-Order Functionality in a First-Order Setting [J]. Journal of Automated Reasoning, 2020, 64 : 391 - 422
- [43] MAPPING SECOND-ORDER ACPS INTO FIRST-ORDER ACPS [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (03): : A354 - A354
- [44] Axiomatizations of arithmetic and the first-order/second-order divide [J]. SYNTHESE, 2019, 196 (07) : 2583 - 2597
- [45] SECOND-ORDER ARITHMETIC AND FIRST-ORDER DEGREE THEORY [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (06): : A553 - A553
- [47] MAPPING SECOND-ORDER ACPS INTO FIRST-ORDER ACPS [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (02): : A336 - A336
- [49] Pooling of first-order inputs in second-order vision [J]. VISION RESEARCH, 2013, 91 : 108 - 117
- [50] The influence of first-order information on second-order stereopsis [J]. PERCEPTION, 1999, 28 : 133 - 133