Termination of Rewriting Systems by Polynomial Interpretations and Its Implementation
Termination of Rewriting Systems by Polynomial Interpretations and Its Implementation
复制标题
多项式解释的重写系统终止及其实现
DOI：
--
复制
发表时间：
1987
影响因子：
1.3
通讯作者：
P. Lescanne
中科院分区：
文献类型：
--
作者：
Ahlem Ben Cherifa;P. Lescanne
