罗兰·巴克豪斯;亨克·多恩博斯;罗兰·格里克;雅普·范德沃德 图的成分和非循环性。精确与简洁相结合的练习。 (英语) 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) 全文: 内政部