沃尔特·古特曼;伯恩哈德·莫勒 布尔子集的代数层次。 (英语) Zbl 07578340号 Fahrenberg,Uli(编辑)等人,《计算机科学中的关系和代数方法》。2020年10月26日至29日在法国帕莱索举行的2020年RAMiCS第18届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12062, 152-168 (2020).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann}和\textit{B.Möller},莱克特。注释计算。科学。12062、152--168(2020;Zbl 07578340) 全文: 内政部 链接
沃尔特·古特曼 用Kleene关系代数验证不相交集合林的正确性。 (英语) Zbl 07578339号 Fahrenberg,Uli(编辑)等人,《计算机科学中的关系和代数方法》。2020年10月26日至29日在法国帕莱索举行的2020年RAMiCS第18届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12062, 134-151 (2020).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann},莱克特。注释计算。科学。12062、134--151(2020;Zbl 07578339) 全文: 内政部
鲁道夫·伯哈默;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公司
沃尔特·古特曼 用Stone关系代数验证最小生成树算法。 (英语) 兹比尔1401.68247 J.日志。代数。方法计划。 101, 132-150 (2018).MSC公司:68兰特 03B35型 03G15年 05C22号 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann},J.Log(J·洛格)。代数。方法计划。101132-150(2018;Zbl 1401.68247) 全文: 内政部
沃尔特·古特曼 斯通关系代数。 (英语) Zbl 1402.03099号 Höfner,Peter(编辑)等人,《计算机科学中的关系和代数方法》。2017年5月15日至18日在法国里昂举行的2017年RAMiCS第16届国际会议。诉讼程序。查姆:施普林格(ISBN 978-3-319-57417-2/pbk;978-3-3169-57418-9/电子书)。计算机科学课堂讲稿10226,127-143(2017)。MSC公司:03G15年 03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann},莱克特。注释计算。科学。10226、127--143(2017;Zbl 1402.03099) 全文: 内政部
鲁道夫·伯哈默;沃尔特·古特曼 多重关系及其性质的代数方法。 (英语) 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年;兹bl 1471.03088) 全文: 内政部
沃尔特·古特曼 用代数方法进行计算。 (英语) Zbl 1344.68076号 J.日志。代数。方法计划。 85,第4号,520-539(2016).MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann},J.Log(J·洛格)。代数。方法计划。85,第4号,520--539(2016;Zbl 1344.68076) 全文: 内政部
鲁道夫·伯哈默;沃尔特·古特曼 多重关系和谓词变换的关系代数方法。 (英语) 兹比尔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.Berghammer}和\textit{W.Guttmann},莱克特。注释计算。科学。9129,50-70(2015;Zbl 1432.68069) 全文: 内政部
沃尔特·古特曼 惰性和严格计算的无限执行。 (英语) 兹伯利1329.68112 J.日志。代数。方法计划。 84,第3期,326-340(2015).MSC公司:2005年第68季度 68号30 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann},J.Log(J·洛格)。代数。方法计划。84,第3号,326--340(2015;Zbl 1329.68112) 全文: 内政部
沃尔特·古特曼 具有无限计算的多重关系。 (英语) Zbl 1371.68172号 J.日志。代数。方法计划。 83,第2期,194-211(2014).MSC公司:第68季度55 03G15年 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann},J.Log(J·洛格)。代数。方法计划。83,第2号,194--211(2014;Zbl 1371.68172) 全文: 内政部
沃尔特·古特曼 迭代代数和无限计算代数。 (英语) Zbl 1279.68078号 Acta信息。 49,第5期,343-359(2012).MSC公司:2005年第68季度 70年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann},《信息学报》第49期,第5期,第343--359页(2012年;Zbl 1279.68078) 全文: 内政部
沃尔特·古特曼 统一懒惰和严格的计算。 (英语) Zbl 1330.68074号 Kahl,Wolfram(编辑)等人,《计算机科学中的关系和代数方法》。2012年9月17日至20日,第13届国际会议,RAMiCS 2012,英国剑桥。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33313-2/pbk)。计算机科学课堂讲稿7560,17-32(2012)。MSC公司:2005年第68季度 68号30 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann},莱克特。注释计算。科学。7560,17-32(2012;Zbl 1330.68074) 全文: 内政部
沃尔特·古特曼 一般正确性的固定点。 (英语) Zbl 1216.68073号 J.日志。代数。程序。 80,第6248-265号(2011年).MSC公司:68甲19 99年6月 2016年60月 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann},J.Log(J·洛格)。代数。程序。80,第6号,248--265(2011;Zbl 1216.68073) 全文: 内政部
沃尔特·古特曼;伯恩哈德·莫勒 正规设计代数。 (英语) Zbl 1184.68179号 J.日志。代数。程序。 79,第2期,144-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 1138.68359号 Berghammer,Rudolf(编辑)等人,《计算机科学中的关系和Kleene代数》。第十届计算机科学关系方法国际会议和第五届Kleene代数应用国际会议,RelMiCS/AKA 2008,德国Frauenwörth,2008年4月7日至11日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78912-3/pbk)。计算机科学课堂讲稿4988,138-154(2008)。MSC公司:68号30 2005年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann},莱克特。注释计算。科学。4988、138——154(2008年;兹bl 1138.68359) 全文: 内政部