Journal of automated reasoning. 2004;32(4):315-355. doi: 10.1007/bf03177743 Q40.72025

Modular and Incremental Automated Termination Proofs

模块化与增量式自动终止证明

DOI: 10.1007/bf03177743

摘要 查看摘要

Copyright © . 中文内容为AI机器翻译，仅供参考！