×
法比奥·加杜奇（编辑）；蒂莫·凯勒（编辑）

图形转换。2020年6月25日至26日在挪威卑尔根举行的第13届国际会议，ICGT 2020，作为STAF 2020的一部分。诉讼程序。 （英语） Zbl 1493.68012号

计算机科学课堂讲稿12150.查姆：施普林格（ISBN 978-3-030-51371-9/pbk；978-3-0030-51372-6/电子书）。xiv，第335页。(2020).

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。有关上一次会议，请参阅[Zbl 1428.68021号].
索引文章：
布莱尔·阿奇博尔德；卡德尔，莫菲；米歇尔·塞维格纳尼，条件双图，3-19[Zbl 1502.68143号]
格雷厄姆·坎贝尔（Graham Campbell）；丰满，细节，汇流至垃圾，20-37[Zbl 1502.68147号]
奇亚佩里尼，阿莱西奥；马里诺·米库兰；马可·佩雷索蒂，计算有向双图的嵌入，38-56[Zbl 1502.68217号]
基诺维塞，法布里奇奥；戴维·斯皮瓦克。，保护Petri网的范畴语义，57-74[Zbl 1502.68191号]
Maryam Ghaffari Saadat；Reiko Heckel；费尔南多·奥雷贾斯，展开符号属性图文法，75-90[Zbl 1502.68159号]
哈拉尔国王；帕特里克·Stünkel，综合系统中的单推重写，91-108[Zbl 1502.68153号]
Leen Lambers；费尔南多·奥雷贾斯，带有嵌套应用程序条件的转换规则的初始冲突，109-127[Zbl 1502.68156号]
Overbeek，Roy；约尔格恩德鲁利斯，补丁图重写，128-145[Zbl 1502.68157号]
蒂昆·普什尼琴，超图基本范畴文法，146-162[兹比尔1502.68158]
乌韦·沃尔特；费尔南多·马西亚斯；阿德里安·拉特尔，多级类型图变换，163-182[Zbl 1502.68161号]
尼古拉斯·贝尔（Nicolas Behr）；吉恩·克里文，《生命科学重写理论：CTMC语义学的统一理论》，185-202[Zbl 1502.68146号]
罗伯托·布鲁尼；乌戈·蒙塔纳里；马蒂奥·桑马蒂诺，树分解图的代数，203-220[Zbl 1502.68213号]
弗兰克·德雷维斯（Frank Drewes）；霍夫曼（Hoffmann，Berthold）；马克·米纳斯，图形解析为图形转换。预测自上而下解析器的正确性，221-238[Zbl 1502.68150号]
Jens Kosiol；丹尼尔·斯特吕贝尔（Daniel Strüber）；Gabriele Taentzer；斯泰芬·兹夏勒，图形一致性作为分级属性。一致性保持和改进图转换，239-256[Zbl 1502.68154号]
施耐德，斯文；约翰内斯·戴克（Johannes Dyck）；霍尔格·吉斯，基于嵌套属性图条件的属性图变换系统不变量的形式化验证，257-275[Zbl 1502.68160号]
施耐德，斯文；Lucas Sakizloglou；玛丽亚·马克西莫娃；霍尔格·吉斯，度量时序图逻辑的乐观和悲观实时分析，276-294[Zbl 1502.68186号]
布鲁金克，H.J.桑德；芭芭拉·柯尼格；马特耶卡、玛琳；诺尔特，丹尼斯；拉尔斯·斯托尔特诺，一个灵活易用的Java图形工具快速开发库，297-306[Zbl 1502.68014号]
温弗里德·库思，多尺度图文法可以生成群和幺半群的Cayley图，307-315[Zbl 1502.68155号]
麦克里什，西拉恩；Patrick Prosser；詹姆斯·特里姆布尔，格拉斯哥子图求解器：使用约束编程处理硬子图同构问题变体，316-324[Zbl 1502.68241号]
克里斯蒂安·泽尔纳（Christian Zöllner）；马提亚斯·巴考斯基；玛丽亚·马克西莫娃；梅兰妮·施奈德；霍尔格·吉斯，具有复杂大规模拓扑的概率定时图变换系统的模拟器，325-334[Zbl 1502.68162号]

引用于1审查
引用于4文件

MSC公司：

68-06 与计算机科学有关的会议记录、会议、收藏等
2012年第68季度 语法和重写系统
00B25型 杂项特定利益的会议记录

引文：

Zbl 1428.68021号
PDF格式BibTeX公司 XML格式引用
\textit{F.Gadducci}（编辑）和\textit{T.Kehrer}（主编），图形转换。2020年6月25-26日在挪威卑尔根举行的第13届国际会议，ICGT 2020，作为STAF 2020的一部分。诉讼程序。商会：施普林格（2020；兹比尔1493.68012）
全文： 内政部