Details
| Originalsprache | Englisch |
|---|---|
| Titel des Sammelwerks | Dependence Logic |
| Untertitel | Theory and Applications |
| Erscheinungsort | Cham |
| ISBN (elektronisch) | 978-3-319-31803-5 |
| Publikationsstatus | Veröffentlicht - 2016 |
Publikationsreihe
| Name | Logics for Dependence and Independence |
|---|
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
Dependence Logic, Theory and Applications. / Abramsky, Samson; Kontinen, Juha; Väänänen, Jouko et al.
Dependence Logic: Theory and Applications. Cham, 2016. (Logics for Dependence and Independence).
Dependence Logic: Theory and Applications. Cham, 2016. (Logics for Dependence and Independence).
Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Vorwort/Nachwort › Forschung
Abramsky, S, Kontinen, J, Väänänen, J & Vollmer, H 2016, Dependence Logic, Theory and Applications. in Dependence Logic: Theory and Applications. Logics for Dependence and Independence, Cham. https://doi.org/10.1007/978-3-319-31803-5
Abramsky, S., Kontinen, J., Väänänen, J., & Vollmer, H. (2016). Dependence Logic, Theory and Applications. In Dependence Logic: Theory and Applications (Logics for Dependence and Independence).. https://doi.org/10.1007/978-3-319-31803-5
Abramsky S, Kontinen J, Väänänen J, Vollmer H. Dependence Logic, Theory and Applications. in Dependence Logic: Theory and Applications. Cham. 2016. (Logics for Dependence and Independence). doi: 10.1007/978-3-319-31803-5
Download
@inbook{ec63c26f5bcd4e09964e609890c1f1f4,
title = "Dependence Logic, Theory and Applications",
author = "Samson Abramsky and Juha Kontinen and Jouko V{\"a}{\"a}n{\"a}nen and Heribert Vollmer",
year = "2016",
doi = "10.1007/978-3-319-31803-5",
language = "English",
isbn = "978-3-319-81123-9",
series = "Logics for Dependence and Independence",
booktitle = "Dependence Logic",
}
Download
TY - CHAP
T1 - Dependence Logic, Theory and Applications
AU - Abramsky, Samson
AU - Kontinen, Juha
AU - Väänänen, Jouko
AU - Vollmer, Heribert
PY - 2016
Y1 - 2016
U2 - 10.1007/978-3-319-31803-5
DO - 10.1007/978-3-319-31803-5
M3 - Foreword/postscript
SN - 978-3-319-81123-9
T3 - Logics for Dependence and Independence
BT - Dependence Logic
CY - Cham
ER -