沃尔特·古特曼 用Stone关系代数验证最小生成树算法。 （英语） Zbl 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 1401.68246号 西奥。计算。科学。 744, 37-55 (2018).MSC公司：68兰特 05C22号 05C85号 68吨15 PDF格式BibTeX公司 XML格式引用 \文本｛W.Guttmann｝，Theor。计算。科学。744，37-55（2018；Zbl 1401.68246） 全文： 内政部
迪伦·基林贝克;米琳·桑托斯·泰西拉;温特，迈克尔 线性代数中的关系。 （英语） Zbl 1375.15045号 J.日志。阿尔盖布。方法计划。 91，1-16（2017）.MSC公司：15B34型 2016年60月 18E05型 PDF格式BibTeX公司 XML格式引用 \textit{D.Killingbeck}等人，J.Log。阿尔盖布。方法计划。91、1-16（2017年；Zbl 1375.15045） 全文： 内政部
沃尔特·古特曼 斯通关系代数。 （英语） 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） 全文： 内政部
沃尔特·古特曼 Prim最小生成树算法的关系代数验证。 （英语） Zbl 1400.68155号 Sampaio，Augusto（编辑）等人，《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会，中华民国台湾台北，2016年10月24日至31日。诉讼程序。查姆：施普林格（ISBN 978-3-319-46749-8/pbk；978-3-3169-46750-4/电子书）。《计算机科学讲义》9965，51-68（2016）。MSC公司：68兰特 05C22号 05C85号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann}，莱克特。注释计算。科学。9965，51-68（2016；Zbl 1400.68155） 全文： 内政部
马其顿，雨果·丹尼尔 再次回顾，高斯消去不是最优的。 （英语） Zbl 1357.65035号 J.日志。阿尔盖布。方法计划。 85，第5号，第2部分，999-1010（2016）.MSC公司：65平方英尺 15A69号 65楼30 PDF格式BibTeX公司 XML格式引用 \textit{H.D.Macedo}，J.Log。阿尔盖布。方法计划。85，第5号，第2部分，999--1010（2016；Zbl 1357.65035） 全文： 内政部 链接
何塞·努诺·奥利维拉;维克托·卡奇亚里·米拉尔多 “保持定义，改变类别”——一种基于状态的系统计算的实用方法。 （英语） 兹比尔1344.68150 J.日志。阿尔盖布。方法计划。 85，第4期，449-474（2016）.MSC公司：70年第68季度 18个C20 68号30 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Oliveira}和\textit{V.C.Miraldo}，J.Log。阿尔盖布。方法计划。85，第4号，449--474（2016；Zbl 1344.68150） 全文： 内政部