Rewriting abstract structures: materialization explained categorically

DOI10.1007/978-3-030-17127-8_10OpenAlexW2914931768MaRDI QIDQ2289070

Arend Rensink, Andrea Corradini, Barbara König, Dennis Nolte, Tobias Heindel

Publication date: 28 January 2020

Full work available at URL: https://arxiv.org/abs/1902.04809

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Related Items (5)

Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions ⋮ Specifying graph languages with type graphs ⋮ Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes ⋮ Unnamed Item ⋮ Graph rewriting and relabeling with PBPO\textsuperscript{+}

This page was built for publication: Rewriting abstract structures: materialization explained categorically