Counting in Team Semantics

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

Authors

Selected Authors

Grädel, Erich
Hegselmann, Stefan

Identifier

Sources