On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics

(2019) [Preprint]

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Matthias Hoelzel, Richard Wilke
Wilke, Richard

Identifikationsnummern

  • REPORT NUMBER: RWTH-2019-09538