温特,迈克尔 关系类别中的产品。 (英语) Zbl 1139.18003号 J.日志。阿尔盖布。程序。 76,第1期,145-159(2008).MSC公司:18B10型 PDF格式BibTeX公司 XML格式引用 \textit{M.Winter},J.日志。阿尔盖布。程序。76,第1号,145--159(2008;Zbl 1139.18003) 全文: 内政部
朱塞佩·斯科洛;朱迪塔·佛朗哥;文森佐·曼卡 关系状态转换动力学。 (英语) 兹比尔1148.68019 J.日志。阿尔盖布。程序。 76,第1期,130-144(2008).MSC公司:2005年第68季度 03G15年 37B20型 35B41型 37N25号 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{G.Scollo}等人,J.Log。阿尔盖布。程序。76,编号1,130--144(2008;Zbl 1148.68019) 全文: 内政部
冈瑟·施密特;鲁道夫·伯格哈默 偏好建模中的关系度量和集成。 (英语) Zbl 1140.68495号 J.日志。阿尔盖布。程序。 76,第1号,112-129(2008).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Schmidt}和\textit{R.Berghammer},J.Log。阿尔盖布。程序。76,编号1,112-129(2008;Zbl 1140.68495) 全文: 内政部
A.K.McIver。;冈萨利亚,C。;科恩,E。;摩根,C。 使用概率Kleene代数pKA进行协议验证。 (英语) Zbl 1148.68034号 J.日志。阿尔盖布。程序。 76,第1号,90-111(2008).MSC公司:60年第68季度 68个M12 64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.K.McIver}等人,J.Log。阿尔盖布。程序。76,第1号,90--111(2008;Zbl 1148.68034) 全文: 内政部
沃尔夫拉姆·卡尔 关系半群胚:无限类型之间有限关系的抽象关系代数接口。 (英语) Zbl 1139.18005号 J.日志。阿尔盖布。程序。 76,第1号,60-89(2008).MSC公司:18B40码 18B10型 03G15年 08A05号 68卢比99 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{W.Kahl},J.Log。阿尔盖布。程序。76,第1号,60-89(2008年;兹bl 1139.18005) 全文: 内政部
彼得·霍夫纳;伯恩哈德·莫勒 代数邻域逻辑。 (英语) 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) 全文: 内政部 链接
伊沃·杜恩施;温迪·麦考尔;迪米特·瓦卡雷洛夫;温特,迈克尔 分布接触格:拓扑表示。 (英语) 兹比尔1138.06004 J.日志。阿尔盖布。程序。 76,第1期,18-34页(2008年).MSC公司:05年6月 06B30号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{I.Düntsch}等人,J.Log。阿尔盖布。程序。76,编号1,18-34(2008;Zbl 1138.06004) 全文: 内政部
卡马尔·阿布尔·霍恩;德克斯特·科赞 局部变量范围和Kleene代数与测试。 (英语) Zbl 1148.68033号 J.日志。阿尔盖布。程序。 76,第1期,第3-17页(2008年).MSC公司:60年第68季度 68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{K.Aboul-Hosn}和\textit{D.Kozen},J.Log。阿尔盖布。程序。76,第1号,第3--17号(2008;Zbl 1148.68033) 全文: 内政部