DROPS

Document

DOI: 10.4230/LIPIcs.MFCS.2026.76

Quantitative Equational Rewriting

Authors: Besik Dundua, Georg Ehling, Santiago Escobar, Maribel Fernández, and Temur Kutsia

Published in: LIPIcs, Volume 386, 51st International Symposium on Mathematical Foundations of Computer Science (MFCS 2026)

Abstract

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.

Cite as

Besik Dundua, Georg Ehling, Santiago Escobar, Maribel Fernández, and Temur Kutsia. Quantitative Equational Rewriting. In 51st International Symposium on Mathematical Foundations of Computer Science (MFCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 386, pp. 76:1-76:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

Copy BibTex To Clipboard

@InProceedings{dundua_et_al:LIPIcs.MFCS.2026.76,
  author =	{Dundua, Besik and Ehling, Georg and Escobar, Santiago and Fern\'{a}ndez, Maribel and Kutsia, Temur},
  title =	{{Quantitative Equational Rewriting}},
  booktitle =	{51st International Symposium on Mathematical Foundations of Computer Science (MFCS 2026)},
  pages =	{76:1--76:18},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-442-0},
  ISSN =	{1868-8969},
  year =	{2026},
  volume =	{386},
  editor =	{Kouck\'{y}, Michal and Petrișan, Daniela},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2026.76},
  URN =		{urn:nbn:de:0030-drops-274580},
  doi =		{10.4230/LIPIcs.MFCS.2026.76},
  annote =	{Keywords: Quantitative rewriting, quantitative equational reasoning}
}

Search Results

Documents authored by Ehling, Georg

Quantitative Equational Rewriting

Abstract

Cite as

Thanks for your feedback!

Could not send message