On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
Hoelzel, Matthias; Wilke, Richard
Saarbrücken/Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, January (2020)
Contribution to a book, Contribution to a conference proceedings
In: 28th EACSL Annual Conference on Computer Science Logic : CSL 2020, January 13-16, 2020, Barcelona, Spain / edited by Maribel Fernández, Anca Muscholl
Identifier
- DOI: 10.4230/LIPIcs.CSL.2020.25
- RWTH PUBLICATIONS: RWTH-2020-00159