Expressivity and Complexity of Dependence Logic

Arnaud Durand, Juha Kontinen, Heribert Vollmer

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Originalspråkengelska
Titel på gästpublikationDependence Logic : Theory and Applications
RedaktörerSamson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer
Antal sidor28
UtgivningsortCham
FörlagSpringer International Publishing AG
Utgivningsdatumjun 2016
Sidor5-32
ISBN (tryckt)978-3-319-31801-1
ISBN (elektroniskt)978-3-319-31803-5
DOI
StatusPublicerad - jun 2016
MoE-publikationstypA3 Del av bok eller annan forskningsbok

Vetenskapsgrenar

  • 111 Matematik

Citera det här

Durand, A., Kontinen, J., & Vollmer, H. (2016). Expressivity and Complexity of Dependence Logic. I S. Abramsky, J. Kontinen, J. Väänänen, & H. Vollmer (Red.), Dependence Logic: Theory and Applications (s. 5-32). Cham: Springer International Publishing AG. https://doi.org/10.1007/978-3-319-31803-5_2
Durand, Arnaud ; Kontinen, Juha ; Vollmer, Heribert. / Expressivity and Complexity of Dependence Logic. Dependence Logic: Theory and Applications. redaktör / Samson Abramsky ; Juha Kontinen ; Jouko Väänänen ; Heribert Vollmer. Cham : Springer International Publishing AG, 2016. s. 5-32
@inbook{d966e61e04fc4d78b49409b93a7e18ac,
title = "Expressivity and Complexity of Dependence Logic",
keywords = "111 Mathematics",
author = "Arnaud Durand and Juha Kontinen and Heribert Vollmer",
year = "2016",
month = "6",
doi = "10.1007/978-3-319-31803-5_2",
language = "English",
isbn = "978-3-319-31801-1",
pages = "5--32",
editor = "Samson Abramsky and Juha Kontinen and Jouko V{\"a}{\"a}n{\"a}nen and Heribert Vollmer",
booktitle = "Dependence Logic",
publisher = "Springer International Publishing AG",
address = "Switzerland",

}

Durand, A, Kontinen, J & Vollmer, H 2016, Expressivity and Complexity of Dependence Logic. i S Abramsky, J Kontinen, J Väänänen & H Vollmer (red), Dependence Logic: Theory and Applications. Springer International Publishing AG, Cham, s. 5-32. https://doi.org/10.1007/978-3-319-31803-5_2

Expressivity and Complexity of Dependence Logic. / Durand, Arnaud; Kontinen, Juha; Vollmer, Heribert.

Dependence Logic: Theory and Applications. red. / Samson Abramsky; Juha Kontinen; Jouko Väänänen; Heribert Vollmer. Cham : Springer International Publishing AG, 2016. s. 5-32.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

TY - CHAP

T1 - Expressivity and Complexity of Dependence Logic

AU - Durand, Arnaud

AU - Kontinen, Juha

AU - Vollmer, Heribert

PY - 2016/6

Y1 - 2016/6

KW - 111 Mathematics

U2 - 10.1007/978-3-319-31803-5_2

DO - 10.1007/978-3-319-31803-5_2

M3 - Chapter

SN - 978-3-319-31801-1

SP - 5

EP - 32

BT - Dependence Logic

A2 - Abramsky, Samson

A2 - Kontinen, Juha

A2 - Väänänen, Jouko

A2 - Vollmer, Heribert

PB - Springer International Publishing AG

CY - Cham

ER -

Durand A, Kontinen J, Vollmer H. Expressivity and Complexity of Dependence Logic. I Abramsky S, Kontinen J, Väänänen J, Vollmer H, redaktörer, Dependence Logic: Theory and Applications. Cham: Springer International Publishing AG. 2016. s. 5-32 https://doi.org/10.1007/978-3-319-31803-5_2