Primitive Indeuctive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting
Primitive Indeuctive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting
复制标题
原归纳定理将隐式归纳法和高阶重写中的归纳定理联系起来
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
T.Sakabe
中科院分区：
文献类型：
--
作者：
K.Kusakari;M.Sakai;T.Sakabe
登录
查看更多内容
DOI：
--
发表时间：
2001
期刊：
--
影响因子：
--
作者：
Kusakari Keiichirou
通讯作者：
Kusakari Keiichirou
关于证明抽象数据类型的归纳性质
DOI：
10.1145/567446.567461
发表时间：
1980
期刊：
J. ACM
影响因子：
--
作者：
D. Musser
通讯作者：
D. Musser
DOI：
10.1109/lics.1991.151658
发表时间：
1991
期刊：
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
T. Nipkow
通讯作者：
T. Nipkow
通过测试集归纳自动证明定理
DOI：
10.1006/jsco.1996.0076
发表时间：
1997
期刊：
J. Symb. Comput.
影响因子：
--
作者：
A. Bouhoula
通讯作者：
A. Bouhoula
术语重写归纳
DOI：
10.1007/3-540-52885-7_86
发表时间：
1990
期刊：
Artif. Intell.
影响因子：
--
作者：
U. Reddy
通讯作者：
U. Reddy