Argument Filterings and Usable Rules for Simply Typed Dependency Pairs
Argument Filterings and Usable Rules for Simply Typed Dependency Pairs
复制标题
简单类型依赖对的参数过滤和可用规则
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
T. Yamada
中科院分区：
文献类型：
--
作者：
T. Aoto;T. Yamada
登录
查看更多内容
通过简单类型术语重写中的强可计算性增强依赖对方法
DOI：
--
发表时间：
2007
期刊：
Applicable Algebra in Engineering, Communica-tion and Computing 18
影响因子：
--
作者：
Keiichirou Kusakari;Masahiko Sakai
通讯作者：
Masahiko Sakai
比较柯里化和非柯里化重写
DOI：
10.1006/jsco.1996.0002
发表时间：
1993
期刊：
J. Symb. Comput.
影响因子：
--
作者：
R. Kennaway;J. Klop;R. Sleep;F. D. Vries
通讯作者：
F. D. Vries
DOI：
--
发表时间：
2001
期刊：
--
影响因子：
--
作者：
Kusakari Keiichirou
通讯作者：
Kusakari Keiichirou
蒂罗尔终止工具：技术和功能
影响因子：
1
作者：
Nao Hirokawa;A. Middeldorp
通讯作者：
A. Middeldorp
简单类型术语重写系统的汇合和终止
DOI：
10.1007/3-540-45127-7_25
发表时间：
2001
期刊：
J. Symb. Comput.
影响因子：
--
作者：
Toshiyuki Yamada
通讯作者：
Toshiyuki Yamada