Counting in Team Semantics

Grädel, Erich (Corresponding author); Hegselmann, Stefan (Corresponding author)

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

In: 25th EACSL Annual Conference on Computer Science Logic (CSL 2016) / Herausgeber: Jean-Marc Talbot, Laurent Regnier
Seite(n)/Artikel-Nr.: 35, 18 Seiten

Einrichtungen

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