Level-confluence of left-linear overlapping CTRSs

Level-confluence of left-linear overlapping CTRSs
复制标题

左线性重叠 CTRS 的水平汇合

DOI:
--
复制
发表时间:
2019
期刊:
影响因子:
--
通讯作者:
Takahito Aoto
Takahito Aoto
中科院分区:
--
文献类型:
--
作者:
Takahito Aoto

文献摘要

相似文献