判定过程相关论文
本文主要研究命题投影时序逻辑(Propositional Projection Temporal Logic, PPTL)的可判定性问题。文中简要地介绍了PPTL公式的语......
带未解释函数的等式理论(EUF)是一种表达能力较强的理论,在形式化方法中占据了重要的地位。本文研究的是无量词的EUF理论,该理论的......
学位
