h1

h2

h3

h4

h5
h6
TY  - CONF
AU  - Brinke, Sophie
AU  - Grädel, Erich
AU  - Mrkonjic, Lovro
TI  - Ehrenfeucht-Fraïssé Games in Semiring Semantics
VL  - 288
CY  - Wadern
PB  - Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH
M1  - RWTH-2024-01385
T2  - Leibniz international proceedings in informatics
SP  - 19:1-19:22
PY  - 2024
T2  - 32. EACSL Annual Conference on Computer Science Logic
CY  - 19 Feb 2024 - 23 Feb 2024, Naples (Italy)
Y2  - 19 Feb 2024 - 23 Feb 2024
M2  - Naples, Italy
KW  - Ehrenfeucht-Fraïssé games (Other)
KW  - Semiring semantics (Other)
KW  - Theory of computation ? Finite Model Theory (Other)
KW  - elementary equivalence (Other)
LB  - PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
UR  - <Go to ISI:>//WOS:001300390800019
DO  - DOI:10.4230/LIPICS.CSL.2024.19
UR  - https://publications.rwth-aachen.de/record/978921
ER  -