Document Search Results

Taentzer, Gabriele; John, Stefan; Kosiol, Jens

A generic construction for crossovers of graph-like structures. (English) Zbl 1514.68335

Behr, Nicolas (ed.) et al., Graph transformation. 15th international conference, ICGT 2022, held as part of STAF 2022, Nantes, France, July 7–8, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13349, 97-117 (2022).

MSC: 68W50 18B50 68Q42 90C59

Cite Review PDF

Full Text: DOI

Kosiol, Jens; Fritsche, Lars; Schürr, Andy; Taentzer, Gabriele

Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs. (English) Zbl 1452.68096

J. Log. Algebr. Methods Program. 115, Article ID 100565, 34 p. (2020).

MSC: 68Q42 18A25 18A30

Cite Review PDF

Full Text: DOI

Kosiol, Jens; Fritsche, Lars; Schürr, Andy; Taentzer, Gabriele

Adhesive subcategories of functor categories with instantiation to partial triple graphs. (English) Zbl 1429.68089

Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 38-54 (2019).

MSC: 68Q42 18A25 18A30 18A35

Cite Review PDF

Full Text: DOI

Found 3 Documents (Results 1–3)

A generic construction for crossovers of graph-like structures. (English) Zbl 1514.68335

Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs. (English) Zbl 1452.68096

Adhesive subcategories of functor categories with instantiation to partial triple graphs. (English) Zbl 1429.68089

Filter Results by …

Document Type

Author

Year of Publication

Main Field