共 50 条
- [3] Corrections and higher-order unification [J]. NATURAL LANGUAGE PROCESSING AND SPEECH TECHNOLOGY: RESULTS OF THE 3RD KONVENS CONFERENCE, 1996, : 268 - 279
- [4] Ramified higher-order unification [J]. 12TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1997, : 410 - 421
- [7] HIGHER-ORDER UNIFICATION VIA COMBINATORS [J]. THEORETICAL COMPUTER SCIENCE, 1993, 114 (02) : 273 - 298
- [9] Optimizing higher-order pattern unification [J]. AUTOMATED DEDUCTION - CADE-19, PROCEEDINGS, 2003, 2741 : 473 - 487
- [10] Decidability of bounded higher-order unification [J]. COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2002, 2471 : 522 - 536