31 citations · 69 across the 15 of their papers we have counts for
1 paper · 1 filter
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
The framework of quantitative equational logic has been successfully applied to reason about algebras whose carriers are metric spaces and operations are nonexpansive. We extend th…