吉安卢卡·阿马托;玛丽亚·希亚拉(Maria Chiara Meo);弗朗西丝卡·斯科扎里 线性在共享分析中的作用。 (英语) Zbl 1517.68071号 数学。结构。计算。科学。 32,编号1,44-110(2022).MSC公司:68甲19 68甲15 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{G.Amato}等人,数学。结构。计算。科学。32,编号1,44-110(2022;Zbl 1517.68071) 全文: 内政部
Bidlingmaier,Martin E。;弗洛里安·费索;溅出物,Bas 概率规划同伦型理论中的合成拓扑。 (英语) Zbl 1517.68072号 数学。结构。计算。科学。 31,第10号,1301-1329(2021).MSC公司:68甲19 03B38型 03层60 2012年2月6日 18对25 18个C20 18 C50 18纳米45 第28页,共15页 55单位35 68纳米30 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Bidlingmaier}等人,《数学》。结构。计算。科学。31,第10号,1301--1329(2021;Zbl 1517.68072) 全文: 内政部 arXiv公司
乌戈·达尔拉戈;北彦浩弘 贝叶斯编程的几何学。 (英语) Zbl 1495.68035号 数学。结构。计算。科学。 31,第6号,633-681(2021).MSC公司:68甲18 03楼52 68甲19 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}和\textit{N.Hoshino},数学。结构。计算。科学。31,编号6,633--681(2021;Zbl 1495.68035) 全文: 内政部 arXiv公司
艾丽卡·阿尔布拉汉姆;Tran,Thi Mai Thoung先生;马丁·斯特芬 可观察的接口行为和继承。 (英语) Zbl 1361.68054号 数学。结构。计算。科学。 26,编号3561-605(2016).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人,《数学》。结构。计算。科学。26,第3号,561--605(2016;Zbl 1361.68054) 全文: 内政部
洛伦佐·贝蒂尼;Sara卡佩奇;马里亚纽拉州Dezani-Ciancaglini;埃琳娜·贾奇诺;贝蒂·文内里 派生对象的会话和联合类型。 (英语) Zbl 1308.68035号 数学。结构。计算。科学。 23,第6期,1163-1219(2013). 审核人:哈伊姆·基洛夫(米林顿) MSC公司:68纳米30 68甲19 第68季度55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}等人,《数学》。结构。计算。科学。23,第6号,1163--1219(2013;Zbl 1308.68035) 全文: 内政部
马丁斯(Manuel A.Martins)。;唐·皮戈齐 条件方程的行为推理。 (英语) Zbl 1129.68025号 数学。结构。计算。科学。 17,第5期,1075-1113(2007).MSC公司:68纳米30 03B70号 68甲19 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Martins}和\textit{D.Pigozzi},数学。结构。计算。科学。17,第5号,1075--1113(2007;Zbl 1129.68025) 全文: 内政部
Furio Honsell;玛丽娜·莱妮莎;雷卡·雷达马拉 广义二进制方法的协代数描述。 (英语) Zbl 1125.68078号 数学。结构。计算。科学。 17,第4期,647-673(2007).MSC公司:68问题65 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{F.Honsell}等人,数学。结构。计算。科学。17,第4号,647--673(2007;Zbl 1125.68078) 全文: 内政部
罗伯托·布鲁尼;乌戈·蒙塔纳里 Linda与事务的并发模型。 (英语) Zbl 1085.68027号 数学。结构。计算。科学。 14,第3期,421-468(2004).MSC公司:68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}和\textit{U.Montanari},数学。结构。计算。科学。14,第3号,421--468(2004;Zbl 1085.68027) 全文: 内政部
卡宾纳,博格丹;马可·图利奥·瓦伦特;Vitek,一月 CoreLime的协调和流动性。 (英语) Zbl 1085.68553号 数学。结构。计算。科学。 14,第3期,397-419(2004).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{B.Carburna}等人,数学。结构。计算。科学。14,第3号,397--419(2004;Zbl 1085.68553) 全文: 内政部
法哈德·阿尔巴 Reo:用于组件组合的基于通道的协调模型。 (英语) Zbl 1085.68552号 数学。结构。计算。科学。 14,第3期,329-366(2004).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{F.Arbab},数学。结构。计算。科学。14,第3号,329--366(2004;Zbl 1085.68552) 全文: 内政部
Bahsoun,J.P。(编辑);费亚迪罗,J.L。(编辑);D.加尔米奇。(编辑) ECOOP’96并行面向对象编程证明理论研讨会,奥地利林茨,1996年7月。 (英语) 兹伯利0930.00069 数学。结构。计算。科学。 9,第3225-320号(1999年).MSC公司:00B25型 68-06 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Bahsoun}(编辑)等人,《数学》。结构。计算。科学。9,第3号,225-320(1999;Zbl 0930.00069) 全文: 内政部
大卫·安科纳;埃琳娜·祖卡 混合模理论:基本算子和派生算子。 (英语) Zbl 0918.68008号 数学。结构。计算。科学。 8,第4号,401-446(1998).MSC公司:68甲15 68号01 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{D.Ancona}和\textit{E.Zucca},数学。结构。计算。科学。8,第4号,401--446(1998;Zbl 0918.68008) 全文: 内政部
马内斯(Ernie G.Manes)。 用单子实现集合类。 (英语) Zbl 0916.68016号 数学。结构。计算。科学。 8,第3期,231-276(1998年).MSC公司:68号01 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{E.G.Manes},数学。结构。计算。科学。8,第3号,231--276(1998;Zbl 0916.68016) 全文: 内政部
阿德里亚娜·孔皮诺尼(Adriana B.Compagnoni)。;本杰明·皮尔斯。 高阶交集类型和多重继承。 (英语) Zbl 0861.68054号 数学。结构。计算。科学。 6,第5号,469-501(1996).MSC公司:第68季度55 03B40型 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.B.Compagnoni}和\textit{B.C.Pierce},数学。结构。计算。科学。6,第5号,469--501(1996;Zbl 0861.68054)
霍斯特赖歇尔 一种基于终端共代数的对象语义方法。 (英语) Zbl 0854.18006号 数学。结构。计算。科学。 5,第2期,129-152(1995). 审核人:V.Manca(比萨) MSC公司:18立方厘米 第68季度55 68问题65 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{H.Reichel},数学。结构。计算。科学。5,第2号,129--152(1995;Zbl 0854.18006) 全文: 内政部
卢卡·卡德利;约翰·米切尔(John C.Mitchell)。 记录操作。 (英语) Zbl 0727.68020号 数学。结构。计算。科学。 1,第1期,第3-48页(1991年). 审核人:M.K(布尔诺) MSC公司:68甲19 03B70号 68甲15 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{J.C.Mitchell},数学。结构。计算。科学。1号、1号、3号——48(1991年;Zbl 0727.68020) 全文: 内政部