h1

% IMPORTANT: The following is UTF-8 encoded.  This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.

@INPROCEEDINGS{Ahrens:1023745,
      author       = {Ahrens, Emma Katharina and Kassing, Jan-Christoph and
                      Giesl, Jürgen and Katoen, Joost-Pieter},
      title        = {{W}eighted {R}ewriting: {S}emiring {S}emantics for
                      {A}bstract {R}eduction {S}ystems},
      volume       = {337},
      address      = {Saarbrücken/Wadern, Germany},
      publisher    = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH,
                      Dagstuhl Publishing},
      reportid     = {RWTH-2025-10711},
      series       = {Leibniz international proceedings in informatics},
      pages        = {6:[1]-6:21},
      year         = {2025},
      comment      = {10th International Conference on Formal Structures for
                      Computation and Deduction : FSCD 2025, July 14-20, 2025,
                      Birmingham, UK / edited by Maribel Fernández},
      booktitle     = {10th International Conference on
                       Formal Structures for Computation and
                       Deduction : FSCD 2025, July 14-20,
                       2025, Birmingham, UK / edited by
                       Maribel Fernández},
      month         = {Jul},
      date          = {2025-07-14},
      organization  = {10. International Conference on Formal
                       Structures for Computation and
                       Deduction, Birmingham (UK), 14 Jul 2025
                       - 20 Jul 2025},
      keywords     = {Rewriting (Other) / Semantics (Other) / Semirings (Other) /
                      Termination (Other) / Theory of computation → Equational
                      logic and rewriting (Other) / Theory of computation →
                      Logic and verification (Other) / Theory of computation →
                      Rewrite systems (Other) / Verification (Other)},
      cin          = {121420 / 121310 / 120000 / 080060},
      cid          = {$I:(DE-82)121420_20140620$ / $I:(DE-82)121310_20140620$ /
                      $I:(DE-82)120000_20140620$ / $I:(DE-82)080060_20170720$},
      typ          = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
      UT           = {WOS:001594385200006},
      doi          = {10.4230/LIPICS.FSCD.2025.6},
      url          = {https://publications.rwth-aachen.de/record/1023745},
}