Gast ::
TY - CONF AU - Ahrens, Emma Katharina AU - Kassing, Jan-Christoph AU - Giesl, Jürgen AU - Katoen, Joost-Pieter TI - Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems VL - 337 CY - Saarbrücken/Wadern, Germany PB - Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing M1 - RWTH-2025-10711 T2 - Leibniz international proceedings in informatics SP - 6:[1]-6:21 PY - 2025 T2 - 10. International Conference on Formal Structures for Computation and Deduction CY - 14 Jul 2025 - 20 Jul 2025, Birmingham (UK) Y2 - 14 Jul 2025 - 20 Jul 2025 M2 - Birmingham, UK KW - Rewriting (Other) KW - Semantics (Other) KW - Semirings (Other) KW - Termination (Other) KW - Theory of computation → Equational logic and rewriting (Other) KW - Theory of computation → Logic and verification (Other) KW - Theory of computation → Rewrite systems (Other) KW - Verification (Other) LB - PUB:(DE-HGF)7 ; PUB:(DE-HGF)8 UR - <Go to ISI:>//WOS:001594385200006 DO - DOI:10.4230/LIPICS.FSCD.2025.6 UR - https://publications.rwth-aachen.de/record/1023745 ER -