克里斯托夫·舒尔茨;Löwe,迈克尔;哈拉尔德·科尼格 面向对象系统转换的分类框架:模型和数据。 (英语) Zbl 1211.68259号 J.塞姆。计算。 46,第3号,316-337(2011).MSC公司:68问题65 18个40 68个P01 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Schulz}等人,J.Symb。计算。46,第3号,316-337(2011;Zbl 1211.68259) 全文: 内政部
费尔南多·奥雷贾斯 属性图约束的符号图。 (英语) Zbl 1298.68121号 J.塞姆。计算。 第3期第46页,294-315页(2011年).MSC公司:2012年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{F.Orejas},J.Symb。计算。46,第3号,294--315(2011;Zbl 1298.68121) 全文: 内政部
Jean-Guillaume杜马;多米尼克·杜瓦尔;珍妮·克劳德·雷纳德 笛卡尔效应类别是Freyd-categories。 (英语) 邮编:1229.18005 J.塞姆。计算。 46,第3期,272-293(2011).MSC公司:18 C50 68问题55 18日99 PDF格式BibTeX公司 XML格式引用 \textit{J.-G.Dumas}等人,J.Symb。计算。46,第3号,272--293(2011;Zbl 1229.18005) 全文: 内政部
本杰明·布拉茨;乌尔里克·戈拉斯;托马斯·索博尔 如何分类删除-两个推出补语结构。 (英语) Zbl 1215.18002号 J.塞姆。计算。 46,第3期,246-271(2011). 审核人:H.Ehrig(柏林) MSC公司:18A30型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Braatz}等人,J.Symb。计算。46,第3号,246--271(2011;Zbl 1215.18002) 全文: 内政部
保罗·巴尔丹;菲利波·邦奇;安德烈亚·科拉迪尼;托拜厄斯·海因德尔;巴巴拉·科尼格 粘合剂类别的格理论观点。 (英语) Zbl 1217.18004号 J.塞姆。计算。 46,第3222-245号(2011年). 审核人:格里戈尔·卢格勒阿纳乌(Cluj-Napoca) MSC公司:18A30型 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,J.Symb。计算。46,编号3222-245(2011年;兹bl 1217.18004) 全文: 内政部 链接
约琴·普法兹格拉夫(编辑);哈特穆特·埃里格(编辑);托马斯·索博尔(编辑) 特刊:应用和计算范畴理论。论文选自2008年3月29日至4月6日在匈牙利布达佩斯ETAPS举行的第三届ACCAT研讨会和2009年3月22日至29日在英国约克ETAPS举办的第四届ACCATs研讨会上的演讲。 (英语) Zbl 1213.68056号 J.塞姆。计算。46,第3期,219-337(2011)。 MSC公司:68-06 18-06 00B25型 PDF格式BibTeX公司 XML格式