Computational Aspects of Logics in Team Semantics (Tutorial)

Juha Kontinen. Computational Aspects of Logics in Team Semantics (Tutorial). In Heribert Vollmer, Brigitte Vallée, editors, 34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany. Volume 66 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.