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

Sources