弗朗西斯科·杜兰;萨尔瓦多卢卡斯;克劳德·马奇;何塞·梅塞格尔;泽维尔·乌尔班 证明会员资格均衡程序的操作终止。 (英语) Zbl 1192.68154号 高-订购符号。计算。 21,编号1-2,59-88(2008).MSC公司:68N99型 03B70号 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人,高-订购符号。计算。21,编号1--2,59-88(2008;Zbl 1192.68154) 全文: 内政部 链接
路易斯·弗拉瓜,弗朗西斯科·J。;马里奥·罗德里格斯·阿塔列霍;拉斐尔·德尔瓦多·维塞达 一种新的带约束的函数逻辑程序设计通用方案。 (英语) 兹比尔1115.68048 高-订购符号。计算。 20,编号1-2,73-122(2007).MSC公司:68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{F.J.López Fraguas}等人,高-订购符号。计算。20,编号1--2,73-122(2007;Zbl 1115.68048) 全文: 内政部