Skip to content

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

Matthias Hoelzel, Richard Wilke

VenueBCSL
Year2020
ProceedingsCSL

Browse the full CSL paper archive.