共 50 条
- [5] Introduction to Decidability of Higher-Order Matching FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2010, 6014 : 1 - 1
- [7] Higher-order matching, games and automata 22ND ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2007, : 326 - 335