Dpto. Sistemas Informaticos y Programacion Facultad de Informatica Universidad Complutense de Madrid, Spain;
hereditary harrop formulas; constraint systems; sequent calculi; fixed point constructions;
机译:深度优先逻辑程序的声明性语义
机译:用于扩展逻辑编程的论证语义的参数化层次结构及其在充分依据的语义中的应用
机译:将约束逻辑编程应用于SQL语义分析
机译:为HH扩展约束逻辑程序提供声明性语义
机译:功能逻辑程序的声明式调试。
机译:具有时间约束的声明式编程使用CG语言
机译:为HH扩展约束逻辑程序提供声明语义