共 50 条
- [2] GENERAL FIRST ORDER KINETICS BERICHTE DER BUNSEN-GESELLSCHAFT FUR PHYSIKALISCHE CHEMIE, 1971, 75 (11): : 1191 - &
- [5] How to prove higher order theorems in first order logic 1600, Morgan Kaufmann Publ Inc, San Mateo, CA, USA (01):
- [6] HIGHER ORDER LINEAR CONNECTIONS FROM FIRST ORDER ONES ARCHIVUM MATHEMATICUM, 2007, 43 (04): : 285 - 288
- [7] On the Easiness of Turning Higher-Order Leakages into First-Order CONSTRUCTIVE SIDE-CHANNEL ANALYSIS AND SECURE DESIGN, 2017, 10348 : 153 - 170
- [8] Translating Higher-Order Clauses to First-Order Clauses Journal of Automated Reasoning, 2008, 40 : 35 - 60
- [9] The Quantization of Higher Order Regular Lagrangians as First Order Singular Lagrangians International Journal of Theoretical Physics, 2007, 46 : 884 - 897