共 50 条
- [41] Higher-order matched field processing PROCEEDINGS OF THE TENTH IEEE WORKSHOP ON STATISTICAL SIGNAL AND ARRAY PROCESSING, 2000, : 635 - 639
- [43] Partial recursive functions in Higher-Order Logic AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 589 - 603
- [44] NURBS Modeling for Higher-Order Basis Functions APMC: 2009 ASIA PACIFIC MICROWAVE CONFERENCE, VOLS 1-5, 2009, : 76 - +
- [50] Verifying Higher-Order Functions with Tree Automata FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2018, 2018, 10803 : 565 - 582