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{Brinke:978921,
      author       = {Brinke, Sophie and Grädel, Erich and Mrkonjic, Lovro},
      title        = {{E}hrenfeucht-{F}raïssé {G}ames in {S}emiring
                      {S}emantics},
      volume       = {288},
      address      = {Wadern},
      publisher    = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH},
      reportid     = {RWTH-2024-01385},
      series       = {Leibniz international proceedings in informatics},
      pages        = {19:1-19:22},
      year         = {2024},
      comment      = {32nd EACSL Annual Conference on Computer Science Logic :
                      CSL 2024, February 19–23, 2024, Naples, Italy / edited by
                      Aniello Murano Alexandra Silva},
      booktitle     = {32nd EACSL Annual Conference on
                       Computer Science Logic : CSL 2024,
                       February 19–23, 2024, Naples, Italy /
                       edited by Aniello Murano Alexandra
                       Silva},
      month         = {Feb},
      date          = {2024-02-19},
      organization  = {32. EACSL Annual Conference on
                       Computer Science Logic, Naples (Italy),
                       19 Feb 2024 - 23 Feb 2024},
      keywords     = {Ehrenfeucht-Fraïssé games (Other) / Semiring semantics
                      (Other) / Theory of computation ? Finite Model Theory
                      (Other) / elementary equivalence (Other)},
      cin          = {117220 / 110000},
      cid          = {$I:(DE-82)117220_20140620$ / $I:(DE-82)110000_20140620$},
      typ          = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
      UT           = {WOS:001300390800019},
      doi          = {10.4230/LIPICS.CSL.2024.19},
      url          = {https://publications.rwth-aachen.de/record/978921},
}