2 papers
cs.LO2024
On Categories of Nested Conditions
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…
cs.LO2016
Proceedings 9th International Workshop on Computing with Terms and Graphs
Andrea Corradini, Hans Zantema
This volume contains the proceedings of TERMGRAPH 2016, the Ninth International Workshop on Computing with Terms and Graphs which was held on April 8, 2016 in Eindhoven, The Nether…