Complexity of two-variable dependence logic and IF-logic

Juha Kontinen, Antti Kuusisto, Peter Lohmann, Virtema Jonni

Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

8 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Sivut	237-253
Julkaisu	Information and Computation
Vuosikerta	239
DOI - pysyväislinkit	https://doi.org/10.1016/j.ic.2014.08.004
Tila	Julkaistu - 2014
OKM-julkaisutyyppi	A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

Julkaisufoorumi-taso

@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.",

}