Details
| Original language | English |
|---|---|
| Title of host publication | Logics for Dependence and Independence |
| Place of Publication | Cham |
| Pages | 5-32 |
| ISBN (electronic) | 978-3-319-31803-5 |
| Publication status | Published - 2016 |
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
Expressivity and Complexity of Dependence Logic. / Durand, Arnaud; Kontinen, Juha; Vollmer, Heribert.
Logics for Dependence and Independence. Cham, 2016. p. 5-32.
Logics for Dependence and Independence. Cham, 2016. p. 5-32.
Research output: Chapter in book/report/conference proceeding › Contribution to book/anthology › Research › peer review
Durand, A, Kontinen, J & Vollmer, H 2016, Expressivity and Complexity of Dependence Logic. in Logics for Dependence and Independence. Cham, pp. 5-32. https://doi.org/10.1007/978-3-319-31803-5_2
Durand, A., Kontinen, J., & Vollmer, H. (2016). Expressivity and Complexity of Dependence Logic. In Logics for Dependence and Independence (pp. 5-32). https://doi.org/10.1007/978-3-319-31803-5_2
Durand A, Kontinen J, Vollmer H. Expressivity and Complexity of Dependence Logic. In Logics for Dependence and Independence. Cham. 2016. p. 5-32 Epub 2016 Jun 30. doi: 10.1007/978-3-319-31803-5_2
Download
@inbook{dee229d5b89441f7a3c95f68e0e0d63f,
title = "Expressivity and Complexity of Dependence Logic",
author = "Arnaud Durand and Juha Kontinen and Heribert Vollmer",
note = "The authors thank the anonymous referee for corrections and valuable comments. The second author was supported by grants 292767, 275241, and 264917 of the Academy of Finland.",
year = "2016",
doi = "10.1007/978-3-319-31803-5_2",
language = "English",
isbn = "978-3-319-31801-1",
pages = "5--32",
booktitle = "Logics for Dependence and Independence",
}
Download
TY - CHAP
T1 - Expressivity and Complexity of Dependence Logic
AU - Durand, Arnaud
AU - Kontinen, Juha
AU - Vollmer, Heribert
N1 - The authors thank the anonymous referee for corrections and valuable comments. The second author was supported by grants 292767, 275241, and 264917 of the Academy of Finland.
PY - 2016
Y1 - 2016
U2 - 10.1007/978-3-319-31803-5_2
DO - 10.1007/978-3-319-31803-5_2
M3 - Contribution to book/anthology
SN - 978-3-319-31801-1
SP - 5
EP - 32
BT - Logics for Dependence and Independence
CY - Cham
ER -