Structural Morphisms for Nested Conditions - Full Version

Arend Rensink, Andrea Corradini

Nested conditions are used, among other things, as a graphical way to express first order formulas ruling the applicability of a graph transformation rule to a given match. In this…