State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China;
Department of Computing Science, University of Alberta, Edmonton, Alberta, Canada T6G 2E8;
机译:具有任意约束原子的逻辑程序的稳定模型语义表征
机译:将约束逻辑编程应用于SQL语义分析
机译:Kripke语义对于高阶类型理论应用于约束逻辑编程语言
机译:具有约束原子的逻辑程序语义的默认方法
机译:多上下文交互的语义:一种使用默认值进行推理的方法
机译:约束逻辑程序设计方法用于蛋白质结构预测
机译:具有约束原子的逻辑程序语义的默认方法
机译:无逻辑逻辑程序中流控制的比较语义