桑德拉·戴卢斯;简·克里斯蒂安森;蒂根,芬兰人 使用非严格非确定性实现概率编程库。 (英语) Zbl 1434.68062号 理论与实践。日志。程序。 20,第1号,147-175(2020).MSC公司:68甲15 68N17号 68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{S.Dylus}等人,《理论与实践》。日志。程序。20,第1号,147--175(2020;Zbl 1434.68062) 全文: 内政部 arXiv公司
米盖尔·阿雷亚斯;里卡多·罗查 隐式和显式并发表计算的表空间设计。 (英语) Zbl 1452.68035号 理论与实践。日志。程序。 18,编号5-6,950-992(2018).MSC公司:68N17号 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Areias}和\textit{R.Rocha},理论与实践。日志。程序。18、编号5--6950-992(2018;Zbl 1452.68035) 全文: 内政部 arXiv公司
托姆·吕维思 约束处理规则中的并行性、并发性和分布:一项调查。 (英语) Zbl 1452.68042号 理论与实践。日志。程序。 18,编号5-6,759-805(2018).MSC公司:68甲19 68N17号 2010年第68季度 2012年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \文本{T.Frühwirth},理论实践。日志。程序。18、编号5--6759--805(2018;Zbl 1452.68042) 全文: 内政部 arXiv公司
斯蒂法诺·比斯塔雷利;毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo);弗朗西斯科·桑蒂尼 定时软并发约束程序:一种交错并行方法。 (英语) Zbl 1379.68087号 理论与实践。日志。程序。 15,第6期,743-782(2015).MSC公司:68甲19 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Bistarelli}等人,《理论与实践》。日志。程序。15,第6号,743--782(2015;Zbl 1379.68087) 全文: 内政部 arXiv公司
马可·科米尼;劳拉·蒂托洛;艾丽西亚·维拉纽埃娃 使用线性时序逻辑对tccp进行抽象诊断。 (英语) Zbl 1307.68049号 理论与实践。日志。程序。 14,No.4-5,787-801(2014).MSC公司:第68季度第60季度 03B44号 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Comini}等人,《理论与实践》。日志。程序。14、编号4--5、787--801(2014;Zbl 1307.68049) 全文: 内政部 arXiv公司
伊莱恩·皮门特尔;卡洛斯·奥拉特;Vivek Nigam先生 软并发约束规划的证明理论研究。 (英语) Zbl 1309.68034号 理论与实践。日志。程序。 14,No.4-5,649-663(2014).MSC公司:68N17号 03B70号 68甲19 68T27型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{E.Pimentel}等人,《理论与实践》。日志。程序。14、编号4--5、649--663(2014;Zbl 1309.68034) 全文: 内政部 arXiv公司
弗拉维奥·克鲁兹;里卡多·罗查;戈尔茨坦,赛斯·科本;弗兰克·芬宁 用于在图结构上并发编程的线性逻辑编程语言。 (英语) Zbl 1307.68014号 理论与实践。日志。程序。 14,No.4-5,493-507(2014).MSC公司:68N17号 68甲15 03B70号 68甲19 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{F.Cruz}等人,《理论与实践》。日志。程序。14,编号4--5493-507(2014;Zbl 1307.68014) 全文: 内政部 arXiv公司
马克斯·奥斯特罗斯基;托尔斯滕·绍布 ASP模块CSP:紧贴系统。 (英语) Zbl 1260.68066号 理论与实践。日志。程序。 12,编号4-5,485-503(2012).MSC公司:68N17号 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Ostrowski}和\textit{T.Schaub},理论与实践。日志。程序。12、编号4--5、485--503(2012;Zbl 1260.68066) 全文: 内政部 arXiv公司
波恩,保罗;佐尔坦·索莫吉;彼得·沙赫特 估计自动并行化的相关计算之间的重叠。 (英语) Zbl 1222.68070号 理论与实践。日志。程序。 11,No.4-5,575-591(2011).MSC公司:68甲19 68N20型 68周05 PDF格式BibTeX公司 XML格式引用 \textit{P.Bone}等人,理论与实践。日志。程序。11,编号4--5,575--591(2011;Zbl 1222.68070) 全文: 内政部 arXiv公司
周能发 在操作规则中编程有限域约束传播器。 (英语) 兹比尔1122.68035 理论与实践。日志。程序。 6,第5期,483-507(2006).MSC公司:68甲19 68甲15 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{N.-F.Zhou},理论与实践。日志。程序。6,第5号,483--507(2006;Zbl 1122.68035) 全文: 内政部
托马斯·艾特;沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗 在答案集编程中通过元解释计算首选答案集。 (英语) Zbl 1079.68096号 理论与实践。日志。程序。 3,No.4-5,463-498(2003).MSC公司:68T20型 68甲19 68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,《理论与实践》。日志。程序。3,编号4--5,463--498(2003;Zbl 1079.68096) 全文: 内政部
伊夫·卡索;弗朗索瓦·萨维耶·约塞特;弗朗索瓦·拉伯特 克莱尔:将集合、搜索和规则结合起来,以更好地表达算法。 (英语) Zbl 1105.68339号 理论与实践。日志。程序。 2,第6期,769-805(2002).MSC公司:68页第10页 68周05 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{Y.Caseau}等人,《理论与实践》。日志。程序。2,第6号,769--805(2002;Zbl 1105.68339) 全文: 内政部
伊夫·卡索;弗朗索瓦·拉伯特;格伦·西尔弗斯坦 学习车辆路径问题的混合算法。 (英语) Zbl 1066.68536号 理论与实践。日志。程序。 1,第6号,779-806(2001).MSC公司:68T05型 68甲19 68T20型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Caseau}等人,《理论与实践》。日志。程序。1,编号6779-806(2001年;兹bl 1066.68536)
Krzysztof R.阿普特。;埃里克·蒙弗罗伊 约束编程被视为基于规则的编程。 (英语) Zbl 1066.68518号 理论与实践。日志。程序。 第1期,第6期,第713-750页(2001年).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}和\textit{E.Monfroy},理论与实践。日志。程序。1,第6号,713--750(2001;Zbl 1066.68518) 全文: 内政部