Counting in Team Semantics

Dagstuhl, Germany / Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik (2016) [Beitrag zu einem Tagungsband]

25th EACSL Annual Conference on Computer Science Logic (CSL 2016)

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Grädel, Erich
Hegselmann, Stefan