On categories of nested conditions
A Rensink, A Corradini - Principles of Verification: Cycling the Probabilistic …, 2024 - Springer
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 paper …
formulas ruling the applicability of a graph transformation rule to a given match. In this paper …