共 50 条
- [44] Higher-Order Model Checking in Direct Style PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2016, 2016, 10017 : 295 - 313
- [45] A higher-order finite element to model singularities DAMAGE AND FRACTURE MECHANICS VI: COMPUTER AIDED ASSESSMENT AND CONTROL, 2000, 6 : 511 - 520
- [48] Typed higher-order narrowing without higher-order strategies FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 1999, 1722 : 335 - 352
- [49] Higher-order asymptotics under model misspecification CANADIAN JOURNAL OF STATISTICS-REVUE CANADIENNE DE STATISTIQUE, 1996, 24 (02): : 263 - 278
- [50] A Higher-Order Model for Fluid Motion Estimation IMAGE ANALYSIS AND RECOGNITION: 8TH INTERNATIONAL CONFERENCE, ICIAR 2011, PT I, 2011, 6753 : 325 - 334