M.Kurihara and A.Ohuchi: "Modularity of simple termination of term rewriting systems with shared constructors" Theoretical Comput.Sci.103. 273-282 (1992)
M.Kurihara and A.Ohuchi: "Modularity of simple termination of term rewriting systems with shared constructors" Theoretical Comput.Sci.103. 273-282 (1992)
复制标题
M.Kurihara 和 A.Ohuchi：“具有共享构造函数的术语重写系统的简单终止的模块化”Theoretical Comput.Sci.103。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
