第十三届图计算模型国际研讨会会议录
计算机科学中的逻辑
2022-12-22 v1 编程语言
软件工程
摘要
本卷收录了第十三届图计算模型国际研讨会（GCM 2022）的会后论文集。该研讨会于2022年7月6日在法国南特举行，作为STAF 2022（软件技术：应用与基础）的一部分。图是常见的数学结构，具有直观可视的特点。它们构成了科学、工程及其他领域（包括计算机科学、生物学和业务流程建模）中系统建模的自然且无缝的方式。图计算模型构成了一类非常高级的模型，其中图是一等公民。国际GCM研讨会系列旨在汇聚对基于图与图变换的计算模型各方面感兴趣的研究人员。它促进了来自不同社群、关注图计算模型及相关领域的理论基础、应用与实现的资深与青年研究人员之间思想的跨领域交流与经验互鉴。
引用
@article{arxiv.2212.10975,
title = {Proceedings of the Thirteenth International Workshop on Graph Computation Models},
author = {Reiko Heckel and Christopher M. Poskitt},
journal= {arXiv preprint arXiv:2212.10975},
year = {2022}
}