Journal of Logic and Computation. 1992;2(3):297-347. doi: 10.1093/logcom/2.3.297 Q40.72025

Logic Programming with Focusing Proofs in Linear Logic

线性逻辑中带聚焦证明的逻辑规划

DOI: 10.1093/logcom/2.3.297

摘要 查看摘要

Copyright © Journal of Logic and Computation. 中文内容为AI机器翻译，仅供参考！