罗兰·巴克豪斯;亨克·多恩博斯;罗兰·格里克;雅普·范德沃德 图的成分和非循环性。精确与简洁相结合的练习。 （英语） Zbl 1481.68034号 J.日志。阿尔盖布。方法计划。 124，文章ID 100730，47 p.（2022）. 审核人：Shen Zhizhang（普利茅斯） MSC公司：68兰特 05C25号 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{R.Backhouse}等人，J.Log。阿尔盖布。方法计划。124，文章ID 100730，47 p.（2022；Zbl 1481.68034） 全文： 内政部
鲁道夫·伯哈默;Furusawa、Hitoshi;沃尔特·古特曼;彼得·赫夫纳 路径的关系特征。 （英语） 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 1259.68243号 正式Asp。计算。 24，第4-6号，459-476（2012）.MSC公司：68瓦30 2016年60月 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}和\textit{B.Möller}，正式Asp。计算。24、编号4--6、459--476（2012；Zbl 1259.68243） 全文： 内政部 链接
王长静;薛、缙云 形式化推导一个高可信的通用算法程序，用于解决一类路径问题。 （英语） Zbl 1248.68545号 邓晓铁（编辑）等，算法前沿。第三届国际研讨会，2009年6月20日至23日，中国合肥，一汽2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02269-2/pbk）。计算机科学讲义5598，27-39（2009）。MSC公司：68周05 05C38号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.Wang}和\textit{J.Xue}，Lect。注释计算。科学。5598，27-39（2009；Zbl 1248.68545） 全文： 内政部
马诺利斯华莱士;阿夫里斯，扬尼斯;斯特凡诺斯·科利亚斯 稀疏模糊二元关系的高效sup-t传递闭包。 （英语） Zbl 1085.03044号 模糊集系统。 157，第3号，341-372（2006）. 审核人：齐格弗里德·戈特瓦尔德（莱比锡） MSC公司：03E72型 68立方英尺 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Wallace}等人，《模糊集系统》。157，第3号，341--372（2006；Zbl 1085.03044） 全文： 内政部
鲁道夫·伯哈默 结合关系演算和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 0910.68090号 J.计算。科学。Technol公司。 13，No.6，553-561（1998）.MSC公司：68宽10 68兰特 PDF格式BibTeX公司 XML格式引用 \文本｛J.Xue｝，J.Comput。科学。Technol公司。13，第6号，553--561（1998；Zbl 0910.68090） 全文： 内政部
费伊斯，L.M.G。;范·奥默林，R.C。 传递闭包算法的抽象推导。 （英语） Zbl 1337.68283号 信息处理。莱特。 63，第3期，159-164（1997）.MSC公司：68周01 PDF格式BibTeX公司 XML格式引用 \textit{L.M.G.Feijs}和\textit{R.C.van Ommering}，Inf.过程。莱特。63，第3号，159--164（1997；Zbl 1337.68283） 全文： 内政部