TY  - CONF

T1  - Decidability of predicate logics with team semantics

JO  - Leibniz International Proceedings in Informatics, LIPIcs

PY  - 2016/08/01

AU  - Kontinen J

AU  - Kuusisto A

AU  - Virtema J

ED  - 

DO  - DOI: 10.4230/LIPIcs.MFCS.2016.60

SN  - 9783959770163

VL  - 58

Y2  - 2024/09/19

ER  -