Locality Theorems in Semiring Semantics

Bizière, Clotilde; Grädel, Erich; Naaf, Matthias Ferdinand (Corresponding author)

Dagstuhl, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2023)
Buchbeitrag, Beitrag zu einem Tagungsband

In: 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)
Seite(n)/Artikel-Nr.: 20:1-20:15

Einrichtungen

• Fachgruppe Mathematik [110000]
• Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) [117220]