文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Francisco Durn
发表
Coherence Checker and Completion Tools for Maude Specifications
Francisco Durn, 2000 .
Termination Checker and Knuth-Bendix Completion Tools for Maude Equational Specifications
Francisco Durn, 2000 .