30 citations · 72 across the 17 of their papers we have counts for
1 paper · 1 filter
Radu Mardare, Neil Ghani, Eigil Rischel
This paper proposes appropriate sound and complete proof systems for algebraic structures over metric spaces by combining the development of Quantitative Equational Theories (QET)…