Improving rewriting induction approach for proving ground confluence

Improving rewriting induction approach for proving ground confluence
复制标题

改进重写归纳方法以验证地面融合

DOI：
10.4230/lipics.fscd.2017.7
复制
发表时间：
2017
期刊：
Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction
影响因子：
--
通讯作者：
Yoshihito Toyama and Yuta Kimura
Yoshihito Toyama and Yuta Kimura
中科院分区：
--
文献类型：
--
作者：
Takahito Aoto;Yoshihito Toyama and Yuta Kimura

文献摘要

相似文献