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