Matching in Quantitative Equational Theories

Activity: Talk or presentation › Contributed talk › science-to-science

Description

Quantitative equational reasoning, as introduced by Mardare, Panangaden, and Plotkin (2016), provides a framework that extends the equality predicate on terms to a notion of proximity. It allows to consider “indexed equations” s ≈ε t between terms with the idea of expressing that “s is within ε from t”. In this work-in-progress paper, we discuss matching in the setting of quantitative equa- tional reasoning. We outline a matching algorithm for a special case and suggest possible generalizations.
Period02 Jul 2023
Event titleUNIF 2023
Event typeConference
LocationFranceShow on map

Fields of science

  • 101013 Mathematical logic
  • 101001 Algebra
  • 101012 Combinatorics
  • 101020 Technical mathematics
  • 101 Mathematics
  • 101009 Geometry
  • 101005 Computer algebra

JKU Focus areas

  • Digital Transformation

Documents & Links