当前位置:
X-MOL 学术
›
arXiv.cs.LO
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications
arXiv - CS - Logic in Computer Science Pub Date : 2020-09-26 , DOI: arxiv-2009.12521 Grant Passmore (Imandra, Inc. and Clare Hall, Cambridge), Ruben Gamboa (University of Wyoming)
arXiv - CS - Logic in Computer Science Pub Date : 2020-09-26 , DOI: arxiv-2009.12521 Grant Passmore (Imandra, Inc. and Clare Hall, Cambridge), Ruben Gamboa (University of Wyoming)
This volume contains a selection of papers presented at the 16th
International Workshop on the ACL2 Theorem Prover and its Applications
(ACL2-2020). The workshops are the premier technical forum for presenting
research and experiences related to ACL2.
中文翻译:
第十六届 ACL2 定理证明器及其应用国际研讨会论文集
本卷包含在第 16 届 ACL2 定理证明器及其应用国际研讨会 (ACL2-2020) 上发表的论文选集。研讨会是展示与 ACL2 相关的研究和经验的首要技术论坛。
更新日期:2020-09-29
中文翻译:
第十六届 ACL2 定理证明器及其应用国际研讨会论文集
本卷包含在第 16 届 ACL2 定理证明器及其应用国际研讨会 (ACL2-2020) 上发表的论文选集。研讨会是展示与 ACL2 相关的研究和经验的首要技术论坛。