弗朗西斯科·杜兰;何塞·梅塞盖尔 莫德的模代数。 (英语) Zbl 1116.68047号 科学。计算。程序。 66,第2125-153号(2007年).MSC公司:60年第68季度 68号30 2012年第68季度 03B70号 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}和\textit{J.Meseguer},科学。计算。程序。66,No.2,125--153(2007;Zbl 1116.68047) 全文: 内政部
杰·巴里 形状的语义。 (英语) Zbl 0853.68119号 科学。计算。程序。 25,编号2-3,251-283(1995).MSC公司:65年第68季度 68问题55 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jay},科学。计算。程序。25,编号2--3,251--283(1995;Zbl 0853.68119) 全文: 内政部
保罗·H·B·加德纳。;克莱尔·马丁。;奥格·德穆尔 谓词变换器的代数结构。 (英语) Zbl 0807.18003号 科学。计算。程序。 22,编号1-2,21-44(1994). 审核人:W.Tholen(Downview) MSC公司:18D20天 18立方厘米 68问题65 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.H.B.Gardiner}等人,科学。计算。程序。22,编号1--2,21-44(1994;Zbl 0807.18003) 全文: 内政部
G·库西诺。;居里,P.-L。;毛尼,M。 分类抽象机器。 (英语) Zbl 0634.68078号 科学。计算。程序。 8, 173-202 (1987). 审核人:V.Kurkova-Pohlova(沃尔科瓦·波洛娃) MSC公司:65年第68季度 18B20型 03B40型 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{G.Cousineau}等人,科学。计算。程序。8173--202(1987年;Zbl 0634.68078) 全文: 内政部