共 50 条
- [41] Subordination for Higher-Order Derivatives of Multivalent Functions [J]. Journal of Inequalities and Applications, 2008
- [42] Plan Composition Using Higher-Order Functions [J]. PROCEEDINGS OF THE 2022 ACM CONFERENCE ON INTERNATIONAL COMPUTING EDUCATION RESEARCH, ICER 2022, VOL. 1, 2023, : 84 - 104
- [43] Proving and disproving termination of higher-order functions [J]. FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, 2005, 3717 : 216 - 231
- [44] UNIQUENESS PROPERTIES OF HIGHER-ORDER AUTOCORRELATION FUNCTIONS [J]. JOURNAL OF THE OPTICAL SOCIETY OF AMERICA A-OPTICS IMAGE SCIENCE AND VISION, 1992, 9 (03): : 388 - 404
- [45] Model-Checking Higher-Order Functions [J]. PPDP'09: PROCEEDINGS OF THE 11TH INTERNATIONAL ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, 2009, : 25 - 36
- [49] Higher-order approximations to conditional distribution functions [J]. ANNALS OF STATISTICS, 1996, 24 (01): : 353 - 364
- [50] HIGHER-ORDER ALPHA-HYPERBOLIC FUNCTIONS [J]. INDIAN JOURNAL OF PURE & APPLIED MATHEMATICS, 1984, 15 (03): : 301 - 304