共 50 条
- [1] Stochastic models for phylogenetic trees on higher-order taxa Journal of Mathematical Biology, 2008, 56 : 525 - 557
- [7] Higher-order narrowing with definitional trees REWRITING TECHNIQUES AND APPLICATIONS, 1996, 1103 : 138 - 152
- [9] Higher-order pushdown trees are easy FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2002, 2303 : 205 - 222