皮埃尔·科伦布;亚历克西斯·伊兰德;奥利维·雷诺德;阮丽诺 摩尔共族递归分解树和闭包算法。 (英语) Zbl 1311.06004号 安。数学。Artif公司。智力。 70,编号1-2107-122(2014).MSC公司:2015年1月6日 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{P.Colomb}等人,《数学年鉴》。Artif公司。智力。70,编号1--2,107-122(2014;Zbl 1311.06004) 全文: DOI程序 哈尔
皮埃尔·科伦布;亚历克西斯·伊兰德;奥利维·雷诺德;阮丽诺 Moore余族格的递归分解和界。 (英语) Zbl 1311.06003号 安。数学。Artif公司。智力。 67,第2期,109-122(2013).MSC公司:2015年1月6日 2015年1月5日 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{P.Colomb}等人,《数学年鉴》。Artif公司。智力。67,No.2,109--122(2013;Zbl 1311.06003) 全文: DOI程序
安妮·贝瑞;Jean-Paul Bordat;阿兰·西盖雷特 概念生成的本地方法。 (英语) Zbl 1129.68085号 安。数学。Artif公司。智力。 49,编号1-4117-136(2007).MSC公司:68立方英尺 68瓦40 06B23号 PDF格式BibTeX公司 XML格式引用 \textit{A.Berry}等人,Ann.Math。Artif公司。智力。49,编号1--4,117-136(2007;Zbl 1129.68085) 全文: DOI程序