From pattern invocation networks to rule preconditions

DOI10.1007/978-3-030-23611-3_12zbMath1429.68199OpenAlexW2953706590MaRDI QIDQ2292980

Florian Kraus, Florian Stolte, Nils Weidmann, Anthony Anjorin

Publication date: 6 February 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-23611-3_12

zbMATH Keywords

graph constraintsincremental pattern matchingpattern invocation networks

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42)

This page was built for publication: From pattern invocation networks to rule preconditions