1 citations · 1 across the 6 of their papers we have counts for
1 paper · 1 filter
Roberto Biondo, Davide Castelnovo, Fabio Gadducci
The use of rewriting-based visual formalisms is on the rise. In the formal methods community, this is due also to the introduction of adhesive categories, where most properties of…