Complexity of two-variable Dependence Logic and IF-Logic

Juha Kontinen, Antti Kuusisto, Peter Lohmann, Virtema Jonni

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

6 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science
Editors	Grohe Martin
Pages	289-298
Publication status	Published - 2011
Publication type	A4 Article in conference proceedings

Name
ISSN (Print)	1043-6871

Access to Document

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

}