OceanRep
Browse by Series
Jump to: 2015
Number of items: 1.
2015
Kontinen, J., Müller, J. S., Schnoor, H. and Vollmer, H.
(2015)
A Van Benthem Theorem for Modal Team Semantics.
[Paper]
In: 24th EACSL Annual Conference on Computer Science Logic, CSL 2015. , 7.9.2015-10.9.2015, Berlin, Deutschland ; pp. 277-291 .
DOI 10.4230/LIPIcs.CSL.2015.277.
LIPIcs
.
Copyright 2023 | GEOMAR Helmholtz-Zentrum für Ozeanforschung Kiel | All rights reserved
Questions, comments and suggestions regarding the GEOMAR repository are welcomed
at bibliotheksleitung@geomar.de !