Ackermann归约相关论文
带未解释函数的等式理论(EUF)是一种表达能力较强的理论,在形式化方法中占据了重要的地位。本文研究的是无量词的EUF理论,该理论的......
学位
在形式化验证领域,EUF公式的活性编码判定过程解决某些问题具有实际的优势,判定组合理论时,该方法选择将其归约为命题公式,更易于......
期刊
