首页> 外文OA文献 >An Algebraic Perspective of Constraint Logic Programming

【2h】

An Algebraic Perspective of Constraint Logic Programming

机译：约束逻辑编程的代数视角

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Frank S. de Boer; Alessandra Di Pierro; Catuscia Palamidessi;
展开▼
作者单位

展开▼
年度 1995
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Logic-algebraic method based and constraints programming driven approach to AGVs scheduling [J] . Grzegorz Bocewicz, Irena Bach, Zbigniew A. Banaszak International journal of intelligent information and database systems . 2009,第1期

机译：基于逻辑代数方法和约束编程的AGV调度方法
2. Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming [J] . Manuel Hermenegildo Parallel Computing . 2000,第13a14期

机译：自动并行化不规则和基于指针的计算：逻辑和约束编程的观点
3. On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's "A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains" [J] . MARK WALLACE, JOACHIM SCHIMPF, KISH SHEN, Constraints . 2004,第1期

机译：关于基准约束逻辑编程平台。回应费尔南德斯和希尔的“布尔和有限域上的八种约束编程语言的比较研究”
4. Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming [C] . Rafael del Vado Virseda International Conference on Algebraic Methodology and Software Technology . 2011

机译：代数约束域在高阶函数和逻辑编程的合作
5. Logic programming with constraints. [D] . Liu, Guohua. 2010

机译：有约束的逻辑编程。
6. Weight prioritized slicing based on constraint logic programming for fault localization [O] . Shengbing Ren, Weijia Zhou, Haiwei Zhou, 2020

机译：基于约束逻辑编程的故障定位重量优先切片
7. Parallelizing irregular and pointer-based computations automatically: perspectives from logic and constraint programming [O] . Hermenegildo Manuel V. 2000

机译：自动并行化不规则和基于指针的计算：逻辑和约束编程的观点
8. Algebraic Perspective of Constraint Logic Programming [R] . de Boer, F. S., Di Pierro, A., Palamidessi, C. 1994

机译：约束逻辑程序设计的代数视角

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号