Complexity of Propositional Independence and Inclusion Logic

Miika Hannula; Juha Kontinen; Virtema Jonni; Heribert Vollmer

doi:10.1007/978-3-662-48057-1_21

Complexity of Propositional Independence and Inclusion Logic

Miika Hannula
, Juha Kontinen
, Virtema Jonni
, Heribert Vollmer

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

15 Citations (Scopus)

Original language	English
Title of host publication	Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I
Editors	Giuseppe F Italiano, Giovanni Pighizzini, Sannella Donald
Publisher	Springer
Pages	269-280
ISBN (Print)	978-3-662-48056-4
DOIs	https://doi.org/10.1007/978-3-662-48057-1_21
Publication status	Published - 2015
Publication type	A4 Article in conference proceedings
Event	International symposium on mathematical foundations of computer science - Duration: 1 Jan 2015 → …

Publication series

Name	Lecture Notes in Computer Science
Number	9234
ISSN (Print)	0302-9743

Conference

Conference	International symposium on mathematical foundations of computer science
Period	1/01/15 → …

Publication forum classification

Publication forum level 1

Access to Document

10.1007/978-3-662-48057-1_21

Cite this

Hannula, M., Kontinen, J., Jonni, V., & Vollmer, H. (2015). Complexity of Propositional Independence and Inclusion Logic. In G. F. Italiano, G. Pighizzini, & S. Donald (Eds.), Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I (pp. 269-280). (Lecture Notes in Computer Science; No. 9234). Springer. https://doi.org/10.1007/978-3-662-48057-1_21

Hannula, Miika ; Kontinen, Juha ; Jonni, Virtema et al. / Complexity of Propositional Independence and Inclusion Logic. Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I. editor / Giuseppe F Italiano ; Giovanni Pighizzini ; Sannella Donald. Springer, 2015. pp. 269-280 (Lecture Notes in Computer Science; 9234).

@inproceedings{9da11d1580a04f2ea8d6b01e1e51c14a,

title = "Complexity of Propositional Independence and Inclusion Logic",

author = "Miika Hannula and Juha Kontinen and Virtema Jonni and Heribert Vollmer",

year = "2015",

doi = "10.1007/978-3-662-48057-1\_21",

language = "English",

isbn = "978-3-662-48056-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "9234",

pages = "269--280",

editor = "Italiano, \{Giuseppe F\} and Giovanni Pighizzini and Sannella Donald",

booktitle = "Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I",

note = "International symposium on mathematical foundations of computer science ; Conference date: 01-01-2015",

}

Hannula, M, Kontinen, J, Jonni, V & Vollmer, H 2015, Complexity of Propositional Independence and Inclusion Logic. in GF Italiano, G Pighizzini & S Donald (eds), Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I. Lecture Notes in Computer Science, no. 9234, Springer, pp. 269-280, International symposium on mathematical foundations of computer science, 1/01/15. https://doi.org/10.1007/978-3-662-48057-1_21

Complexity of Propositional Independence and Inclusion Logic. / Hannula, Miika; Kontinen, Juha; Jonni, Virtema et al.
Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I. ed. / Giuseppe F Italiano; Giovanni Pighizzini; Sannella Donald. Springer, 2015. p. 269-280 (Lecture Notes in Computer Science; No. 9234).

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

TY - GEN

T1 - Complexity of Propositional Independence and Inclusion Logic

AU - Hannula, Miika

AU - Kontinen, Juha

AU - Jonni, Virtema

AU - Vollmer, Heribert

PY - 2015

Y1 - 2015

U2 - 10.1007/978-3-662-48057-1_21

DO - 10.1007/978-3-662-48057-1_21

M3 - Conference contribution

SN - 978-3-662-48056-4

T3 - Lecture Notes in Computer Science

SP - 269

EP - 280

BT - Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I

A2 - Italiano, Giuseppe F

A2 - Pighizzini, Giovanni

A2 - Donald, Sannella

PB - Springer

T2 - International symposium on mathematical foundations of computer science

Y2 - 1 January 2015

ER -

Hannula M, Kontinen J, Jonni V, Vollmer H. Complexity of Propositional Independence and Inclusion Logic. In Italiano GF, Pighizzini G, Donald S, editors, Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I. Springer. 2015. p. 269-280. (Lecture Notes in Computer Science; 9234). doi: 10.1007/978-3-662-48057-1_21