logic programming; many-sorted; parametric polymorphism; type checking;
机译:具有线性逻辑约束的并行逻辑编程语言的设计与实现
机译:具有线性逻辑约束的并行逻辑编程语言的设计与实现
机译:Kripke语义对于高阶类型理论应用于约束逻辑编程语言
机译:用于逻辑编程语言的多态多扭转型系统的实现Gödel
机译:过程理论(模型,证明系统,编程语言,程序综合,时间逻辑)。
机译:在医院为中心的医疗保健系统中基于慢性护理模型实施2型糖尿病计划:比利时经验
机译:用逻辑编程语言实现多态打字
机译:Hoare的两种数据类型编程语言的逻辑