Journal of symbolic computation. 2000;29(2):149-177. doi: 10.1006/jsco.1999.0359 Q21.12025

Cut-elimination and Redundancy-elimination by Resolution

DOI: 10.1006/jsco.1999.0359

摘要 查看摘要

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