3 citations · 3 across the 1 of their papers we have counts for
1 paper · 1 filter
Francesco Gavazzo, Cecilia Di Florio
We introduce a general theory of quantitative and metric rewriting systems, namely systems with a rewriting relation enriched over quantales modelling abstract quantities. We devel…