Georg Ehling, Teimuraz Kutsia,
"Solving Quantitative Equations"
, Serie RISC Report Series, Johannes Kepler University Linz, Austria, Nummer 24-03, RISC, JKU, Hagenberg, Linz, 4-2024, ISSN: 2791-4267
Original Titel:
Solving Quantitative Equations
Sprache des Titels:
Englisch
Original Kurzfassung:
Quantitative equational reasoning provides a framework that extends equality to an abstract notion of proximity by endowing equations with an element of a quantale. In this paper, we discuss the unification problem for a special class of shallow subterm-collapse-free quantitative equational theories. We outline rule-based algorithms for solving such equational unification problems over generic as well as idempotent Lawvereian quantales and study their properties.
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
RISC, JKU
Verlagsanschrift:
Hagenberg, Linz
Serie:
RISC Report Series, Johannes Kepler University Linz, Austria
Forschungs-