Complexity of two-variable Dependence Logic and IF-Logic

Juha Kontinen, Antti Kuusisto, Peter Lohmann, Virtema Jonni

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

6 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science
Toimittajat	Grohe Martin
Sivut	289-298
Tila	Julkaistu - 2011
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa

Nimi
ISSN (painettu)	1043-6871

Pääsy asiakirjaan

@inproceedings{e19d4ac6ab5045c9a64f332ed0fb2e32,

title = "Complexity of two-variable Dependence Logic and IF-Logic",

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

year = "2011",

language = "English",

isbn = "978-0-7695-4412-0",

pages = "289--298",

editor = "Grohe Martin",

booktitle = "Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science",

}