Weyl predicates; formal verification; logic programming;
机译:具有定点语义的逻辑谓词介绍。第一部分:逻辑编程
机译:关于允许函数符号的有限谓词逻辑程序索引集的复杂性
机译:关于允许函数符号的有限谓词逻辑程序索引集的复杂性
机译:通过协和逻辑编程实现谓词答案集编程
机译:预测谓词逻辑推理问题的难度:谓词逻辑模型的实证检验
机译:Quantum程序的分类逻辑的第一步
机译:pROLOG / F:基于谓词逻辑的编程语言,具有谓词的功能表示法
机译:用动态谓词逻辑编程。信息系统