冈瑟·施密特；托马斯·斯特拉林 关系和图表。计算机科学家的离散数学。 （英语） Zbl 0900.68328号 EATCS理论计算机科学专著柏林：施普林格出版社。九、 第301页（1993年）。 Publisher的描述：在计算机科学的各个领域都可以找到关系方法，特别是在数据库理论、并发关系语义、关系类型理论、重写系统分析和现代编程语言设计中。此外，它们还出现在算法分析和向计算机科学家传授的大量离散数学中。这本书专门介绍了这些方法的背景。它解释了如何在计算机科学中系统地使用关系和图形理论方法。针对不同问题领域的应用，开发了一个强大的关系代数形式框架。结果首先由实际示例驱动，通常由布尔0-1矩阵和图可视化，然后由代数导出。德国原版（Springer 1989）已于兹比尔0705.68083. 引用于109文件 MSC公司： 68兰特 计算机科学中的图论（包括图形绘制） 68-01 与计算机科学相关的介绍性说明（教科书、教程论文等） 引文：Zbl 0705.68083号 PDF格式BibTeX公司 XML格式引用 \textit{G.Schmidt}和\textit{T.Ströhlein}，关系和图形。计算机科学家的离散数学。柏林：Springer-Verlag（1993；Zbl 0900.68328）