Skip to content

Decidability of Predicate Logics with Team Semantics.

Juha Kontinen, Antti Kuusisto, Jonni Virtema

VenueBMFCS
Year2016
ProceedingsMFCS

Browse the full MFCS paper archive.