机译:具有归纳谓词的符号堆分离逻辑的模型检查
Separation logic; model checking; inductive definitions; complexity; runtime verification; program testing;
机译:具有归纳谓词的符号堆分离逻辑的模型检查
机译:基于谓词的基于谓词的归纳逻辑编程专业化
机译:归纳逻辑编程中的谓词发明
机译:具有归纳定义的分离逻辑的有效包含检查
机译:预测谓词逻辑推理问题的难度:谓词逻辑模型的实证检验
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:使用归纳谓词的符号堆分离逻辑的模型检查
机译:一阶谓词逻辑模型理论及相关时态逻辑