Details
| Originalsprache | Englisch |
|---|---|
| Titel des Sammelwerks | Logics for Dependence and Independence |
| Erscheinungsort | Cham |
| Seiten | 5-32 |
| ISBN (elektronisch) | 978-3-319-31803-5 |
| Publikationsstatus | Veröffentlicht - 2016 |
Zitieren
- 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. S. 5-32.
Logics for Dependence and Independence. Cham, 2016. S. 5-32.
Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Beitrag in Buch/Sammelwerk › Forschung › Peer-Review
Durand, A, Kontinen, J & Vollmer, H 2016, Expressivity and Complexity of Dependence Logic. in Logics for Dependence and Independence. Cham, S. 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 (S. 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. S. 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 -