Ackermann归约相关硕士博士期刊学术论文

带未解释函数的等式理论(EUF)是一种表达能力较强的理论,在形式化方法中占据了重要的地位。本文研究的是无量词的EUF理论,该理论的......