DefunT:一种利用社区书籍自动化终止证明的工具(扩展摘要)
计算机科学中的逻辑
2018-10-16 v1
摘要
我们提出一种通过挖掘已有终止定理来自动化递归定义终止证明的工具。
引用
@article{arxiv.1810.05666,
title = {DefunT: A Tool for Automating Termination Proofs by Using the Community Books (Extended Abstract)},
author = {Matt Kaufmann},
journal= {arXiv preprint arXiv:1810.05666},
year = {2018}
}
备注
In Proceedings ACL2 2018, arXiv:1810.03762