共 50 条
- [21] Generalized higher-order cone-convex functions and higher-order duality in vector optimization [J]. Annals of Operations Research, 2018, 269 : 709 - 725
- [22] Higher-Order Rank Functions on Directed Graphs [J]. FUNDAMENTA INFORMATICAE, 2020, 173 (01) : 1 - 31
- [23] NURBS Modeling for Higher-Order Basis Functions [J]. APMC: 2009 ASIA PACIFIC MICROWAVE CONFERENCE, VOLS 1-5, 2009, : 76 - +
- [24] BIAS CORRECTION AND HIGHER-ORDER KERNEL FUNCTIONS [J]. STATISTICS & PROBABILITY LETTERS, 1992, 13 (03) : 235 - 243
- [26] Partial recursive functions in Higher-Order Logic [J]. AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 589 - 603
- [27] ON THE DERIVATION OF HIGHER-ORDER CORRELATION-FUNCTIONS [J]. ASTRONOMY & ASTROPHYSICS, 1980, 92 (1-2) : 222 - 224
- [28] Developing Behavioral Concepts of Higher-Order Functions [J]. ICER 2021: PROCEEDINGS OF THE 17TH ACM CONFERENCE ON INTERNATIONAL COMPUTING EDUCATION RESEARCH, 2021, : 306 - 318
- [30] Verifying Higher-Order Functions with Tree Automata [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2018, 2018, 10803 : 565 - 582