Counting in Team Semantics
Grädel, Erich (Corresponding author); Hegselmann, Stefan (Corresponding author)
Wadern / Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2016) [Contribution to a book, Contribution to a conference proceedings]
25th EACSL Annual Conference on Computer Science Logic (CSL 2016) / Herausgeber: Jean-Marc Talbot, Laurent Regnier
Page(s): 35, 18 Seiten
Identifier
- DOI: 10.4230/LIPIcs.CSL.2016.35
- REPORT NUMBER: RWTH-CONV-211652