Complexity of two-variable dependence logic and IF-logic

Juha Kontinen, Antti Kuusisto, Peter Lohmann, Virtema Jonni

Research output: Contribution to journal › Article › Scientific › peer-review

8 Citations (Scopus)

Original language	English
Pages (from-to)	237-253
Journal	Information and Computation
Volume	239
DOIs	https://doi.org/10.1016/j.ic.2014.08.004
Publication status	Published - 2014
Publication type	A1 Journal article-refereed

Publication forum classification

@article{4b5480f1ed9e4bbca261ae153aa27f35,

title = "Complexity of two-variable dependence logic and IF-logic",

author = "Juha Kontinen and Antti Kuusisto and Peter Lohmann and Virtema Jonni",

year = "2014",

doi = "10.1016/j.ic.2014.08.004",

language = "English",

volume = "239",

pages = "237--253",

journal = "Information and Computation",

issn = "0890-5401",

publisher = "Elsevier Inc.",

}