Frontiers of Computer Science. 2014;8(2):184-191. doi: 10.1007/s11704-014-3102-1 Q17.32025

A sound and completeR-calculi with respect to contraction and minimal change

一个完整的结石，收缩和变化很小

DOI: 10.1007/s11704-014-3102-1

摘要 查看摘要

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