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

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

Institutions

  • Department of Mathematics [110000]
  • Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]