文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
J. Ketema
发表
Erasure and Termination in Higher-Order Rewriting
F. van Raamsdonk, J. Ketema, 2004 .
Bohm-Like Trees for Rewriting
J. Ketema, J. Ketema, 2006 .