TY  - RPRT
TI  - Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
AU  - Emma Ahrens
AU  - Jan-Christoph Kassing
AU  - Jürgen Giesl
AU  - Joost-Pieter Katoen
PY  - 2025
UR  - https://arxiv.org/abs/2505.08496
ID  - 2505.08496
ER  -