Induction with Recursive Definitions in Superposition
Induction with Recursive Definitions in Superposition
复制标题
叠加递归定义的归纳法
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Hajdú M
中科院分区：
文献类型：
--
作者：
Hajdú M
登录
查看更多内容
SMT 求解器的归纳
DOI：
--
发表时间：
2015
期刊：
International Conference on Verification, Model Checking and Abstract Interpretation
影响因子：
--
作者：
Andrew Reynolds;Viktor Kunčak
通讯作者：
Viktor Kunčak
Rippling - 数学推理的元级指导
DOI：
10.1017/cbo9780511543326
发表时间：
2005
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
A. Bundy;D. Basin;D. Hutter;Andrew Ireland
通讯作者：
Andrew Ireland
综合引理进行归纳推理
DOI：
--
发表时间：
2020
期刊：
arXiv.org
影响因子：
--
作者：
Adithya Murali;Lucas Peña;Christof Löding;P. Madhusudan
通讯作者：
P. Madhusudan
DOI：
10.1007/978-3-540-45085-6_22
发表时间：
2003-07
期刊：
--
影响因子：
--
作者：
L. Dixon;Jacques D. Fleuriot
通讯作者：
L. Dixon;Jacques D. Fleuriot
DOI：
10.1145/3009837.3009887
发表时间：
2016
期刊：
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
影响因子：
--
作者：
L. Kovács;Simon Robillard;A. Voronkov
通讯作者：
A. Voronkov