978921 20260317085913.0 ISBN 978-3-95977-310-2 SCOPUS SCOPUS:2-s2.0-85185221506 WOS WOS:001300390800019 doi 10.4230/LIPICS.CSL.2024.19 datacite_doi 10.18154/RWTH-2024-01385 RWTH-2024-01385 English P:(DE-82)986903 Brinke, Sophie 0 Corresponding author rwth 32. EACSL Annual Conference on Computer Science Logic Naples 2024-02-19 - 2024-02-23 CSL 2024 Italy Ehrenfeucht-Fraïssé Games in Semiring Semantics online Wadern Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH 2024 32nd EACSL Annual Conference on Computer Science Logic : CSL 2024, February 19–23, 2024, Naples, Italy / edited by Aniello Murano Alexandra Silva 19:1-19:22 33 EndNote Conference Paper PUB:(DE-HGF)7 PUB:(DE-HGF) Contribution to a book PUB:(DE-HGF)8 PUB:(DE-HGF) Contribution to a conference proceedings contrib contrib BibTeX INPROCEEDINGS DRIVER conferenceObject DataCite Output Types/Conference Paper ORCID CONFERENCE_PAPER Leibniz international proceedings in informatics 288 Dataset connected to DataCite Germany Other Ehrenfeucht-Fraïssé games Other Semiring semantics Other Theory of computation ? Finite Model Theory Other elementary equivalence P:(DE-82)IDM00039 Grädel, Erich 1 rwth P:(DE-82)IDM04446 Mrkonjic, Lovro 2 rwth RWTH-2024-01386 IsParent http://publications.rwth-aachen.de/record/978921/files/978921.pdf OpenAccess oai:publications.rwth-aachen.de:978921 openaire open_access VDB driver dnbdelivery I:(DE-588b)36225-6 P:(DE-82)986903 RWTH Aachen 0 RWTH I:(DE-588b)36225-6 P:(DE-82)IDM00039 RWTH Aachen 1 RWTH I:(DE-588b)36225-6 P:(DE-82)IDM04446 RWTH Aachen 2 RWTH 2024 StatID:(DE-HGF)0031 StatID Peer reviewed article 0 StatID:(DE-HGF)0510 StatID OpenAccess LIC:(DE-HGF)CCBY4 HGFVOC Creative Commons Attribution CC BY 4.0 I:(DE-82)117220_20140620 117220 Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) 0 I:(DE-82)110000_20140620 110000 Fachgruppe Mathematik 1 FullTexts I:(DE-82)110000_20140620 I:(DE-82)117220_20140620 UNRESTRICTED VDB contb contrib