共 50 条
- [22] A Lambda-Free Higher-Order Recursive Path Order FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2017), 2017, 10203 : 461 - 479
- [28] Validating and Animating Higher-Order Recursive Functions in B RIGOROUS METHODS FOR SOFTWARE CONSTRUCTION AND ANALYSIS: EASSYS DEDICATED TO EGON BORGER ON THE OCCASION OF HIS 60TH BIRTHDAY, 2009, 5115 : 78 - +