图计算模型国际研讨会论文集（第 14 屬与第 15 屬）
计算机科学中的逻辑
2025-03-26 v1 形式语言与自动机理论
编程语言
软件工程
摘要
本卷包含第 14 屬和第 15 屬国际图计算模型研讨会（GCM 2023 和 2024）的后 proceedings。研讨会分别于 2023 年 7 月 18 日在英国莱斯特举行，以及 2024 年 7 月 9 日在荷兰恩斯卡德举行，均作为 STAF（软件技术：应用与基础）的一部分。图是常见的数学结构，具有直观的可视化形式。它们是科学、工程以及更广泛领域（包括计算机科学、生物学和业务流程建模）中系统建模的自然且无缝的方式。图计算模型属于高度抽象的模型，其中图是头等公民。国际 GCM 研讨会系列旨在将所有关注图计算模型及其图变换的所有方面感兴趣的研究者聚集在一起，促进来自不同社区的资深研究者和年轻研究者之间在图计算模型及其相关领域的基础、应用和实现方面的交叉氤育。
引用
@article{arxiv.2503.19632,
title = {Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models},
author = {Jörg Endrullis and Dominik Grzelak and Tobias Heindel and Jens Kosiol},
journal= {arXiv preprint arXiv:2503.19632},
year = {2025}
}