City University of New York;
机译:关于基准约束逻辑编程平台。回应费尔南德斯和希尔的“布尔和有限域上的八种约束编程语言的比较研究”
机译:具有线性逻辑约束的并行逻辑编程语言的设计与实现
机译:具有线性逻辑约束的并行逻辑编程语言的设计与实现
机译:高效利用逻辑编程语言中的并行性的编程技术
机译:GRAPH并行Actor语言---一种用于并行图算法的编程语言。
机译:基于约束逻辑编程的故障定位重量优先切片
机译:自动并行化不规则和基于指针的计算:逻辑和约束编程的观点