共 50 条
- [3] Higher-order narrowing with definitional trees REWRITING TECHNIQUES AND APPLICATIONS, 1996, 1103 : 138 - 152
- [4] Higher-order pushdown trees are easy FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2002, 2303 : 205 - 222
- [5] Predicting Higher-order Dynamics without Network Topology by Ridge Regression 2024 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, ISCAS 2024, 2024,