沃尔特·古特曼 用Stone关系代数验证最小生成树算法。 (英语) Zbl 1401.68247号 J.日志。阿尔盖布。方法计划。 101, 132-150 (2018).MSC公司:68兰特 03B35型 03G15年 05C22号 第68季度第60季度 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格式引用 \文本{W.Guttmann},Lect。注释计算。科学。10226、127--143(2017;Zbl 1402.03099) 全文: 内政部
沃尔特·古特曼 具有无限计算的多重关系。 (英语) 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) 全文: 内政部