项重写技术相关硕士博士期刊学术论文

数学和逻辑中把一个公式中的某个子项替换成另一个子项的操作过程就是项重写。项重写系统的理论是计算的基础理论。本文属于项重写......