鲁道夫·伯格哈默;米贾·库尔琴斯基 关系具有核的充分标准的实验研究。 (英语) Zbl 07670512号 Fahrenberg,Uli(编辑)等人,《计算机科学中的关系和代数方法》。第19届国际会议,RAMiCS 2021,法国马赛,2021年11月2-5日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13027, 72-89 (2021).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}和\textit{M.Kulczynski},莱克特。注释计算。科学。13027、72--89(2021;Zbl 07670512) 全文: 内政部
鲁道夫·伯格哈默;Hitoshi Furusawa;沃尔特·古特曼;彼得·霍夫纳 路径的关系特征。 (英语) Zbl 1462.05198号 J.日志。阿尔盖布。方法计划。 117,文章ID 100590,19 p.(2020).MSC公司:05C38号 03B35型 03G15年 05C85号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}等人,J.Log。阿尔盖布。方法计划。117,文章ID 100590,19 p.(2020;Zbl 1462.05198) 全文: 内政部 arXiv公司
鲁道夫·伯格哈默;沃尔特·古特曼 多重关系及其性质的代数方法。 (英语) Zbl 1471.03088号 J.日志。阿尔盖布。方法计划。 88, 45-63 (2017).MSC公司:03G15年 08A02号 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}和\textit{W.Guttmann},J.Log。阿尔盖布。方法计划。88、45-63(2017年;Zbl 1471.03088) 全文: 内政部
鲁道夫·伯格哈默;沃尔特·古特曼 多重关系和谓词变换的关系代数方法。 (英语) 兹比尔1432.68069 Hinze,Ralf(编辑)等人,《程序构建的数学》。2015年6月29日至7月1日,第12届国际会议,MPC 2015,德国科尼格斯温特。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9129, 50-70 (2015).MSC公司:68号30 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghamer}和\textit{W.Guttmann},Lect。注释计算。科学。9129,50-70(2015;Zbl 1432.68069) 全文: 内政部
鲁道夫·伯格哈默;塞巴斯蒂安·费舍尔 结合关系代数和数据求精,开发基于矩形的自反传递闭包函数程序。 (英语) Zbl 1329.68062号 J.日志。阿尔盖布。方法计划。 84,第3期,341-358(2015).MSC公司:68甲18 03G20年 05C20号 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}和\textit{S.Fischer},J.Log。阿尔盖布。方法计划。84,第3号,341--358(2015;Zbl 1329.68062) 全文: 内政部
鲁道夫·伯格哈默;塞巴斯蒂安·费舍尔 简单的基于矩形的函数程序,用于计算自反传递闭包。 (英语) Zbl 1330.68044号 Kahl,Wolfram(编辑)等人,《计算机科学中的关系和代数方法》。2012年9月17日至20日,第13届国际会议,RAMiCS 2012,英国剑桥。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33313-2/pbk)。计算机科学课堂讲稿7560114-129(2012)。MSC公司:68甲18 03G15年 05C20号 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}和\textit{S.Fischer},莱克特。注释计算。科学。7560114-129(2012年;Zbl 1330.68044) 全文: 内政部
鲁道夫·伯格哈默 应用关系代数和RelView解决阶和格上的问题。 (英语) Zbl 1144.68053号 学报信息。 45,第3期,211-236(2008).MSC公司:68瓦30 03G15年 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer},Acta Inf.45,No.3,211--236(2008;Zbl 1144.68053) 全文: 内政部
鲁道夫·伯格哈默;阿格涅斯卡·鲁西诺夫斯卡;哈里·德·斯瓦特 将关系代数和RELVIEW应用于联盟形成。 (英语) Zbl 1171.91312号 欧洲药典。物件。 178,第2期,530-542(2007).MSC公司:91A12号机组 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}等人,《欧洲药典》。178号决议,第2号,530--542(2007年;Zbl 1171.91312) 全文: 内政部
鲁道夫·伯格哈默 结合关系演算和Dijkstra-Gries方法来派生关系程序。 (英语) Zbl 0943.68032号 信息科学。 119,编号3-4,155-171(1999).MSC公司:68号30 03G15年 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer},信息科学。119,编号3--4,155-171(1999;Zbl 0943.68032) 全文: 内政部
托马斯·格里茨纳。;鲁道夫·伯格哈默 鲁棒正确性的关系代数模型。 (英语) Zbl 0871.68125号 西奥。计算。科学。 159,第245-270号(1996年).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{T.F.Gritzner}和\textit{R.Berghammer},Theor。计算。科学。159,第2号,245--270(1996;Zbl 0871.68125) 全文: 内政部