Compactness in Semiring Semantics

Brinke, Sophie; Dawar, Anuj; Naaf, Matthias Ferdinand; Grädel, Erich; Mrkonjić, Lovro

doi:10.18154/RWTH-2026-06304

Compactness in Semiring Semantics

Brinke, Sophie (Corresponding author)^RWTH* ; Dawar, Anuj (Corresponding author) ; Grädel, Erich (Corresponding author)^RWTH* ; Mrkonjić, Lovro (Corresponding author)^RWTH* ; Naaf, Matthias Ferdinand (Corresponding author)^RWTH*

In
34th EACSL Annual Conference on Computer Science Logic : CSL 2026, February 23-28, 2026, Paris, France / edited by Stefano Guerrini, Barbara König, Seiten/Artikel-Nr: [13:1]-13:21

2026

Konferenz/Event:34. Annual Conference on Computer Science Logic , Paris , France , CSL 2026 , 2026-02-23 - 2026-02-28

ImpressumSaarbrücken ; Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Umfang[13:1]-13:21

ISBN978-3-95977-411-6

ReiheLeibniz International Proceedings in Informatics (LIPIcs) ; 363

Online
DOI: 10.18154/RWTH-2026-06304
DOI: 10.4230/LIPICS.CSL.2026.13
10.4230/LIPICS.CSL.2026.13
URL: https://publications.rwth-aachen.de/record/1038118/files/1038118.pdf

Einrichtungen

Inhaltliche Beschreibung (Schlagwörter)
Semiring semantics (Genormte SW) ; Theory of computation → Logic (Genormte SW) ; compactness (Genormte SW)

OpenAccess:
PDF