On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
Hoelzel, Matthias (Corresponding author); Wilke, Richard Marlon (Corresponding author)
Braunschweig : Department of Theoretical Computer Science, Technical University of Braunschweig (2021)
Fachzeitschriftenartikel
In: Logical methods in computer science
Band: 17
Heft: 3
Seite(n)/Artikel-Nr.: 14:1-14:32
Identifikationsnummern
- DOI: 10.46298/lmcs-17(3:14)2021
- DOI: 10.18154/RWTH-2021-07388
- RWTH PUBLICATIONS: RWTH-2021-07388