共 50 条
- [31] RECURSIVE GENERATION OF HIGHER-ORDER TERMS IN THE MAGNUS EXPANSION PHYSICAL REVIEW A, 1989, 39 (07): : 3270 - 3273
- [33] Coq formalization of the higher-order recursive path ordering Applicable Algebra in Engineering, Communication and Computing, 2009, 20 : 379 - 425
- [34] A higher-order function approach to evolve recursive programs GENETIC PROGRAMMING THEORY AND PRACTICE III, 2006, 9 : 93 - 108
- [35] On the Termination Problem for Probabilistic Higher-Order Recursive Programs 2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2019,
- [40] ON THE ESTIMATION OF HIGHER-ORDER PHENOMENOLOGICAL COEFFICIENTS INDIAN JOURNAL OF CHEMISTRY SECTION A-INORGANIC BIO-INORGANIC PHYSICAL THEORETICAL & ANALYTICAL CHEMISTRY, 1981, 20 (09): : 910 - 911