Formalization of Data Conversion for Inductive Proof
Formalization of Data Conversion for Inductive Proof
复制标题
归纳证明数据转换的形式化
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Kazuko TAKAHASHI
中科院分区：
文献类型：
--
作者：
吉見;以下4名;Akira NOGUCHI;吉見毅彦,小谷克則,九津見毅,佐田いち子;Kazuko TAKAHASHI
登录
查看更多内容
递归函数的定义和推理：Coq Proof Assistant 的实用工具
DOI：
10.1007/11737414_9
发表时间：
2006
期刊：
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell
影响因子：
--
作者：
G. Barthe;Julien Forest;David Pichardie;Vlad Rusu
通讯作者：
Vlad Rusu
DOI：
10.1007/3-540-59175-3_86
发表时间：
1995
期刊：
--
影响因子：
--
作者：
S. Brands
通讯作者：
S. Brands
DOI：
10.3233/jcs-2003-11103
发表时间：
2003
期刊：
J. Comput. Secur.
影响因子：
--
作者：
G. Bella
通讯作者：
G. Bella
理解规范：SET 的形式化（讨论记录）
DOI：
10.1007/3-540-44810-1_12
发表时间：
2000
期刊：
--
影响因子：
--
作者：
Lawrence Charles Paulson
通讯作者：
Lawrence Charles Paulson
Proof Pearl：机械化霍夫曼算法的教科书证明
DOI：
10.1007/s10817-009-9116-y
发表时间：
2009
期刊：
Journal of Automated Reasoning
影响因子：
--
作者：
Jasmin Christian Blanchette
通讯作者：
Jasmin Christian Blanchette