Proving confluence of term rewriting systems via persistency and decreasing diagrams
Proving confluence of term rewriting systems via persistency and decreasing diagrams
复制标题
通过持久性和递减图证明术语重写系统的汇合
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Yoshihito Toyama and Kazumasa Uchida
中科院分区：
文献类型：
--
作者：
Takahito Aoto;Yoshihito Toyama and Kazumasa Uchida
登录
查看更多内容
融合的持久性
DOI：
10.3217/jucs-003-11-1134
发表时间：
1997
期刊：
J. Univers. Comput. Sci.
影响因子：
--
作者：
Takahito Aoto;Y. Toyama
通讯作者：
Y. Toyama
CSI - 融合工具
DOI：
10.1007/978-3-642-22438-6_38
发表时间：
2011
期刊：
--
影响因子：
--
作者：
Harald Zankl;Bertram Felgenhauer;A. Middeldorp
通讯作者：
A. Middeldorp
自动扣除 - CADE-23：第 23 届国际自动扣除会议
DOI：
--
发表时间：
2011
期刊：
影响因子：
--
作者：
Nikolaj S. Bjørner;Viorica Sofronie
通讯作者：
Viorica Sofronie
通过相对终止实现非线性 TRS 的汇合
DOI：
10.1007/978-3-642-28717-6_21
发表时间：
2012
期刊：
--
影响因子：
--
作者：
Dominik Klein;Nao Hirokawa
通讯作者：
Nao Hirokawa
通过递减图实现汇合
影响因子：
1.1
作者：
V. V. Oostrom
通讯作者：
V. V. Oostrom