collaborators

1 paper

cs.LO2025

Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems

Emma Ahrens, Jan-Christoph Kassing, Jürgen Giesl +1

We present novel semiring semantics for abstract reduction systems (ARSs). More precisely, we provide a weighted version of ARSs, where the reduction steps induce weights from a se…