鈴木大郎: "Level- confluence of conditional rewrite systems with extra variables in right- hand sides" Proc. of the 6th Int. Conf. on RTA'95. :1995. 179-193
鈴木大郎: "Level- confluence of conditional rewrite systems with extra variables in right- hand sides" Proc. of the 6th Int. Conf. on RTA'95. :1995. 179-193
复制标题
Dairo Suzuki：“右侧有额外变量的条件重写系统的汇合”，第 6 届国际会议，1995 年。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
