Formalizing Algorithmic Bounds in the Query Model in EasyCrypt
Formalizing Algorithmic Bounds in the Query Model in EasyCrypt
复制标题
在 EasyCrypt 中形式化查询模型中的算法边界
DOI：
--
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Qu, Weihao
中科院分区：
文献类型：
--
作者：
Stoughton, Alley;Chen, Carol;Gaboardi, Marco;Qu, Weihao
登录
查看更多内容
库克-莱文定理的机械证明
DOI：
--
发表时间：
2004
期刊：
International Conference on Theorem Proving in Higher Order Logics
影响因子：
--
作者：
Ruben Gamboa;J. Cowles
通讯作者：
J. Cowles
Ssreflect/Coq 中的算法博弈论库
影响因子：
--
作者：
Bagnall, Alexander;Merten, Samuel;Stewart, Gordon
通讯作者：
Stewart, Gordon
DOI：
10.1007/978-3-642-22792-9_5
发表时间：
2011-08
期刊：
--
影响因子：
--
作者：
G. Barthe;B. Grégoire;S. Heraud;Santiago Zanella-Béguelin
通讯作者：
G. Barthe;B. Grégoire;S. Heraud;Santiago Zanella-Béguelin
DOI：
10.1007/s10817-016-9378-0
发表时间：
2017-04-01
期刊：
JOURNAL OF AUTOMATED REASONING
影响因子：
--
作者：
Eberl, Manuel
通讯作者：
Eberl, Manuel
决策树桩的 PAC 可学习性的正式证明
DOI：
10.1145/3437992.3439917
发表时间：
2021
期刊：
Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs
影响因子：
--
作者：
Joseph Tassarotti;Koundinya Vajjha;Anindya Banerjee;Jean
通讯作者：
Jean