机译:具有定点语义的逻辑谓词介绍。第一部分:逻辑编程
Department of Computer Science, K.U. Leuven, Celestijnlaan 200A, B-3001 Leuven, Belgium;
机译:具有定点语义的逻辑谓词。第二部分:自流行逻辑
机译:无上下文程序的命题动态逻辑和带斩点的定点逻辑
机译:逼近定点理论和高阶逻辑程序的可靠语义
机译:通过一阶定点逻辑对程序进行时间验证
机译:预测谓词逻辑推理问题的难度:谓词逻辑模型的实证检验
机译:通过将谓词逻辑应用于生物医学文献来预测蛋白质功能
机译:具有定点语义的逻辑的谓词介绍。第一部分:逻辑编程
机译:一阶谓词逻辑模型理论及相关时态逻辑