On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
Hoelzel, Matthias (Corresponding author); Wilke, Richard (Corresponding author)
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany (2020) [Contribution to a conference proceedings]
[28th EACSL Annual Conference on Computer Science Logic, CSL2020]
Identifier
- DOI: 10.4230/LIPICS.CSL.2020.25
- DOI: 10.4230/LIPIcs.CSL.2020.25
- REPORT NUMBER: RWTH-2020-00159