2026-08-21T16:12:18Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:27458 2026-08-21T14:42:40Z ddc:004 open_access

Quantitative Equational Rewriting Dundua, Besik Ehling, Georg Escobar, Santiago Fernández, Maribel Kutsia, Temur Quantitative rewriting quantitative equational reasoning Rewriting logic is a logical framework for expressing both concurrent computation and logical deduction using equations and rewrite rules. Quantitative equational reasoning enriches equations with quantitative measures, expressing concepts such as similarity or proximity rather than mere equality of terms. In this article, we bring these two approaches together and propose a quantitative extension of rewriting logic as a flexible formalism for quantitative deduction and computation. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Besik Dundua and Georg Ehling and Santiago Escobar and Maribel Fernández and Temur Kutsia 2026 Is Part Of LIPIcs, Volume 386, 51st International Symposium on Mathematical Foundations of Computer Science (MFCS 2026) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.MFCS.2026.76 urn:nbn:de:0030-drops-274580 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2026.76 eng https://creativecommons.org/licenses/by/4.0/legalcode