Soundness of Rewriting Induction based on an Abstract Principle
Soundness of Rewriting Induction based on an Abstract Principle
复制标题
基于抽象原理的重写归纳法的可靠性
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Takahito Aoto
中科院分区：
文献类型：
--
作者：
Yuki Chiba;Takahito Aoto;Yoshihito Toyama;Takahito Aoto
登录
查看更多内容
条件理论中的隐式归纳法
DOI：
10.1007/bf00881856
发表时间：
1995
期刊：
Journal of Automated Reasoning
影响因子：
--
作者：
A. Bouhoula;M. Rusinowitch
通讯作者：
M. Rusinowitch
论方程理论中的应用题
DOI：
10.1007/3-540-18088-5_6
发表时间：
1987
期刊：
--
影响因子：
--
作者：
J. Hsiang;M. Rusinowitch
通讯作者：
M. Rusinowitch
DOI：
--
发表时间：
1989
期刊：
影响因子：
--
作者：
H. Aït;M. Nivat
通讯作者：
M. Nivat
无需构造函数的理论归纳自动证明
DOI：
10.1016/0890-5401(89)90062-x
发表时间：
1989
期刊：
Inf. Comput.
影响因子：
--
作者：
J. Jouannaud;Emmanuel Kounalis
通讯作者：
Emmanuel Kounalis
使用隐式归纳法的归纳可判定性
DOI：
10.1007/11916277_4
发表时间：
2006
期刊：
--
影响因子：
--
作者：
Stephan Falke;D. Kapur
通讯作者：
D. Kapur