第十七届 ACL2 定理证明器及其应用国际研讨会论文集
计算机科学中的逻辑
2022-05-24 v1 人工智能
摘要
本卷收录了在第 17 届 ACL2 定理证明器及其应用国际研讨会（ACL2 2022）上宣读的部分论文。该研讨会是展示与 ACL2 相关研究及经验的首要技术论坛。
引用
@article{arxiv.2205.11103,
title = {Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications},
author = {Rob Sumners and Cuong Chau},
journal= {arXiv preprint arXiv:2205.11103},
year = {2022}
}