你好,托尼;伯恩哈德·莫勒;乔治·斯特鲁斯;伊恩·卫尔曼 并发Kleene代数及其基础。 (英语) Zbl 1278.68176号 J.日志。阿尔盖布。程序。 80,第6期,266-296(2011).MSC公司:60年第68季度 68甲19 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}等人,J.Log。阿尔盖布。程序。80,No.6,266--296(2011;Zbl 1278.68176) 全文: 内政部 链接
丹·H·H。;Höfner,P。;莫勒,B。 代数分离逻辑。 (英语) Zbl 1260.03060号 J.日志。阿尔盖布。程序。 80,第6期,221-247(2011). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{H.H.Dang}等人,J.日志。阿尔盖布。程序。80,第6号,221--247(2011;Zbl 1260.03060) 全文: 内政部
鲁道夫·伯哈默(编辑);阿里·穆罕默德·贾瓦(编辑);伯恩哈德·莫勒(编辑) 特刊:计算机科学中的关系和Kleene代数。根据2009年11月1日至5日在卡塔尔多哈举行的第十一届计算机科学关系方法国际会议(RelMiCS 2009)和第六届克莱恩代数应用国际会议(AKA 2009)上的陈述,选择了修订论文。 (英语) Zbl 1230.03008号 J.日志。阿尔盖布。程序。80,第6期,219-375(2011)。 MSC公司:03-06 03G25号 68问题55 00B25型 PDF格式BibTeX公司 XML格式
沃尔特·古特曼;伯恩哈德·莫勒 普通设计代数。 (英语) Zbl 1184.68179号 J.日志。阿尔盖布。程序。 79,编号2144-173(2010).MSC公司:68N99型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann}和\textit{B.Möller},J.Log。阿尔盖布。程序。79,第2号,144--173(2010;Zbl 1184.68179) 全文: 内政部 链接
彼得·霍夫纳;伯恩哈德·莫勒 混合系统的代数。 (英语) Zbl 1161.68032号 J.日志。阿尔盖布。程序。 78,第2期,74-97(2009).MSC公司:70年第68季度 93B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}和\textit{B.Möller},J.Log。阿尔盖布。程序。78,第2号,74--97(2009;Zbl 1161.68032) 全文: 内政部 链接
彼得·霍夫纳;伯恩哈德·莫勒 代数邻域逻辑。 (英语) Zbl 1142.03036号 J.日志。阿尔盖布。程序。 76,第1期,35-59(2008).MSC公司:03G25号 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}和\textit{B.Möller},J.Log。阿尔盖布。程序。76,编号1,35-59(2008;Zbl 1142.03036) 全文: 内政部 链接
朱尔斯·德沙奈斯;伯恩哈德·莫勒;费卢兹·切尔 克莱恩在一个模态恶魔星下。 (英语) Zbl 1086.68080号 J.日志。阿尔盖布。程序。 66,第2期,127-160(2006).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}等人,J.Log。阿尔盖布。程序。66,编号2127-160(2006年;兹bl 1086.68080) 全文: 内政部 链接