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/12/22 ER -