克里斯托弗·米尔斯;玛丽亚·加西亚·德拉班达;马克·华莱士;巴特·德梅恩 一种检测约束模型中对称性的方法及其推广。 (英语) Zbl 1316.90029号 约束条件 20,第2期,235-273(2015).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Mears}等人,《约束20》,第2期,235-273(2015;Zbl 1316.90029) 全文: 内政部
佩德罗·洛佩兹·加西亚;布埃诺,弗朗西斯科;曼纽尔·赫尔梅内吉尔多 使用模式和类型分析对逻辑程序的确定性和互斥性进行自动推理。 (英语) Zbl 1192.68130号 新一代计算。 28,第2期,177-206(2010).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Lopez-Garcia}等人,《新一代计算》。28,第2号,177--206(2010;Zbl 1192.68130) 全文: 内政部 链接
金·万豪酒店;尼古拉斯·奈瑟科特;雷扎·拉斐;彼得·斯图基(Peter J.Stuckey)。;玛丽亚·加西亚·德拉班达;马克·华莱士 锌建模语言的设计。 (英语) Zbl 1146.68352号 约束条件 13,第3号,229-267(2008).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{K.Marriott}等人,《限制条件13》,第3229-267号(2008年;Zbl 1146.68352) 全文: 内政部