h1

h2

h3

h4

h5
h6
%0 Conference Paper
%A Brinke, Sophie
%A Grädel, Erich
%A Mrkonjic, Lovro
%T Ehrenfeucht-Fraïssé Games in Semiring Semantics
%V 288
%C Wadern
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH
%M RWTH-2024-01385
%B Leibniz international proceedings in informatics
%P 19:1-19:22
%D 2024
%< 32nd EACSL Annual Conference on Computer Science Logic : CSL 2024, February 19–23, 2024, Naples, Italy / edited by Aniello Murano Alexandra Silva
%B 32. EACSL Annual Conference on Computer Science Logic
%C 19 Feb 2024 - 23 Feb 2024, Naples (Italy)
Y2 19 Feb 2024 - 23 Feb 2024
M2 Naples, Italy
%K Ehrenfeucht-Fraïssé games (Other)
%K Semiring semantics (Other)
%K Theory of computation ? Finite Model Theory (Other)
%K elementary equivalence (Other)
%F PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
%9 Contribution to a bookContribution to a conference proceedings
%U <Go to ISI:>//WOS:001300390800019
%R 10.4230/LIPICS.CSL.2024.19
%U https://publications.rwth-aachen.de/record/978921