h1

h2

h3

h4

h5
h6
%0 Conference Paper
%A Ahrens, Emma Katharina
%A Kassing, Jan-Christoph
%A Giesl, Jürgen
%A Katoen, Joost-Pieter
%T Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
%V 337
%C Saarbrücken/Wadern, Germany
%I Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing
%M RWTH-2025-10711
%B Leibniz international proceedings in informatics
%P 6:[1]-6:21
%D 2025
%< 10th International Conference on Formal Structures for Computation and Deduction : FSCD 2025, July 14-20, 2025, Birmingham, UK / edited by Maribel Fernández
%B 10. International Conference on Formal Structures for Computation and Deduction
%C 14 Jul 2025 - 20 Jul 2025, Birmingham (UK)
Y2 14 Jul 2025 - 20 Jul 2025
M2 Birmingham, UK
%K Rewriting (Other)
%K Semantics (Other)
%K Semirings (Other)
%K Termination (Other)
%K Theory of computation → Equational logic and rewriting (Other)
%K Theory of computation → Logic and verification (Other)
%K Theory of computation → Rewrite systems (Other)
%K Verification (Other)
%F PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
%9 Contribution to a bookContribution to a conference proceedings
%U <Go to ISI:>//WOS:001594385200006
%R 10.4230/LIPICS.FSCD.2025.6
%U https://publications.rwth-aachen.de/record/1023745