共 50 条
- [32] Higher-order lazy narrowing calculus: A solver for higher-order equations COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2001, 2001, 2178 : 479 - 493
- [36] ON CONNECTIVITY COMPONENTS OF A SET OF CHARACTERISTIC INDEXES FOR A DIFFERENTIAL SYSTEM WITH HIGHER-ORDER PERTURBATIONS DOKLADY AKADEMII NAUK BELARUSI, 1989, 33 (03): : 197 - 200
- [40] Higher-order tableaux THEOREM PROVING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1995, 918 : 294 - 309