h1

h2

h3

h4

h5
h6
http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Ehrenfeucht-Fraïssé Games in Semiring Semantics

; ;

In
32nd EACSL Annual Conference on Computer Science Logic : CSL 2024, February 19–23, 2024, Naples, Italy / edited by Aniello Murano Alexandra Silva, Seiten/Artikel-Nr: 19:1-19:22

Konferenz/Event:32. EACSL Annual Conference on Computer Science Logic , Naples , Italy , CSL 2024 , 2024-02-19 - 2024-02-23

ImpressumWadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH

Umfang19:1-19:22

ISBN978-3-95977-310-2

ReiheLeibniz international proceedings in informatics ; 288

Online
DOI: 10.4230/LIPICS.CSL.2024.19

DOI: 10.18154/RWTH-2024-01385
URL: https://publications.rwth-aachen.de/record/978921/files/978921.pdf

Einrichtungen

  1. Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) (117220)
  2. Fachgruppe Mathematik (110000)


Inhaltliche Beschreibung (Schlagwörter)
Ehrenfeucht-Fraïssé games (Genormte SW) ; Semiring semantics (Genormte SW) ; Theory of computation ? Finite Model Theory (Genormte SW) ; elementary equivalence (Genormte SW)

OpenAccess:
Download fulltext PDF

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85185221506
WOS Core Collection: WOS:001300390800019

Interne Identnummern
RWTH-2024-01385
Datensatz-ID: 978921

Beteiligte Länder
Germany

 GO

Related:

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Preprint  ;  ;
Ehrenfeucht-Fraïssé Games in Semiring Semantics
28 Seiten () [10.48550/arXiv.2308.04910]  GO OpenAccess  Download fulltext Files  Download fulltextFulltext by arXiv.org BibTeX | EndNote: XML, Text | RIS

Creative Commons Attribution CC BY 4.0 ; OpenAccess
QR Code for this record

The record appears in these collections:
Document types > Events > Contributions to a conference proceedings
Document types > Books > Contributions to a book
Faculty of Mathematics and Natural Sciences (Fac.1) > Department of Mathematics
Publication server / Open Access
Public records
Publications database
110000
117220
 Record created 2024-02-12, last modified 2025-10-01
Similar records


OpenAccess:
Download fulltext PDF
Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)