Complexity Analysis of Precedence Terminating Infinite Graph Rewrite Systems
Complexity Analysis of Precedence Terminating Infinite Graph Rewrite Systems
复制标题
终止无限图重写系统的优先级复杂性分析
DOI：
10.4204/eptcs.183.3
复制
发表时间：
2015
影响因子：
--
通讯作者：
Naohi Eguchi
中科院分区：
文献类型：
--
作者：
T. Umakoshi;Y. Saito;and P. Verma;Naohi Eguchi
