×

zbMATH — the first resource for mathematics

Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. (English) Zbl 1428.68021
Lecture Notes in Computer Science 11629. Cham: Springer (ISBN 978-3-030-23610-6/pbk; 978-3-030-23611-3/ebook). x, 231 p. (2019).

Show indexed articles as search result.

The articles of mathematical interest will be reviewed individually. For the preceding conference see [Zbl 1390.68024].
Indexed articles:
Tomioka, Taichi; Tsunekawa, Yutaro; Ueda, Kazunori, Introducing symmetry to graph rewriting systems with process abstraction, 3-20 [Zbl 1429.68093]
Löwe, Michael, Double-pushout rewriting in context: rule composition and parallel independence, 21-37 [Zbl 1429.68091]
Kosiol, Jens; Fritsche, Lars; Schürr, Andy; Taentzer, Gabriele, Adhesive subcategories of functor categories with instantiation to partial triple graphs, 38-54 [Zbl 1429.68089]
Drewes, Frank; Hoffmann, Berthold; Minas, Mark, Extending predictive shift-reduce parsing to contextual hyperedge replacement grammars, 55-72 [Zbl 1429.68087]
Lambers, Leen; Kosiol, Jens; Strüber, Daniel; Taentzer, Gabriele, Exploring conflict reasons for graph transformation systems, 75-92 [Zbl 1429.68090]
Corradini, Andrea; Saadat, Maryam Ghaffari; Heckel, Reiko, Unfolding graph grammars with negative application conditions, 93-110 [Zbl 1429.68086]
Makhlouf, Amani; Percebois, Christian; Tran, Hanh Nhi, Two-level reasoning about graph transformation programs, 111-127 [Zbl 1429.68043]
Harmer, Russ; Oshurko, Eugenia, Knowledge representation and update in hierarchies of graphs, 141-158 [Zbl 1429.68275]
Kreowski, Hans-Jörg; Kuske, Sabine; Lye, Aaron, Relating DNA computing and splitting/fusion grammars, 159-174 [Zbl 1429.68073]
Nassar, Nebras; Kosiol, Jens; Arendt, Thorsten; Taentzer, Gabriele, Constructing optimized validity-preserving application conditions for graph transformation rules, 177-194 [Zbl 1429.68092]
Weidmann, Nils; Anjorin, Anthony; Stolte, Florian; Kraus, Florian, From pattern invocation networks to rule preconditions, 195-211 [Zbl 1429.68199]

MSC:
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Q42 Grammars and rewriting systems
00B25 Proceedings of conferences of miscellaneous specific interest
PDF BibTeX XML Cite
Full Text: DOI