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)…