机译:移动流程的谓词空间逻辑
Laboratory for Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100080, China;
modal logic; predicate μ-calculus; model checking; mobile processes; asynchronous π-calculus;
机译:有理Pavelka谓词逻辑是Lukasiewicz谓词逻辑的保守扩展
机译:预测门,组件和空间逻辑处理器
机译:具有连通性谓词的空间逻辑
机译:移动过程的扩展空间逻辑
机译:预测谓词逻辑推理问题的难度:谓词逻辑模型的实证检验
机译:通过将谓词逻辑应用于生物医学文献来预测蛋白质功能
机译:单调谓词逻辑逻辑逻辑的逻辑后果关系及安源型谓词逻辑
机译:一阶谓词逻辑模型理论及相关时态逻辑