On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
Hoelzel, Matthias (Corresponding author); Wilke, Richard
(2019)
Preprint
Identifier
- RWTH PUBLICATIONS: RWTH-2019-09538
Hoelzel, Matthias (Corresponding author); Wilke, Richard
(2019)
Preprint