Formalizing Termination Proofs under Polynomial Quasi-interpretations
Formalizing Termination Proofs under Polynomial Quasi-interpretations
复制标题
多项式拟解释下的形式化终止证明
DOI：
10.4204/eptcs.191.5
复制
发表时间：
2015
影响因子：
--
通讯作者：
Naohi Eguchi
中科院分区：
文献类型：
--
作者：
Iwamoto H;Matsuhisa K;Saito A;Kanemoto S;Asada R;Hino K;Takai T;Cui M;Cui X;Kaneko M;Arihiro K;Sugiyama K;Kurisu K;Matsubara A;Imaizumi K.;Naohi Eguchi
