Extended modal dependence logic EMDL

Johannes Ebbing; Lauri Hella; Arne Meier; Julian-Steffen Müller; Virtema Jonni; Heribert Vollmer

doi:10.1007/978-3-642-39992-3_13

Extended modal dependence logic EMDL

Johannes Ebbing, Lauri Hella, Arne Meier, Julian-Steffen Müller, Virtema Jonni, Heribert Vollmer

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

33 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	Logic, Language, Information and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
Toimittajat	Ruy de Queiroz
Julkaisupaikka	Berlin
Kustantaja	Springer
Sivut	126-137
ISBN (painettu)	978-3-642-39991-6
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-642-39992-3_13
Tila	Julkaistu - 2013
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa

Julkaisusarja

Nimi	Lecture Notes in Computer Science
Numero	8071
ISSN (painettu)	0302-9743

Julkaisufoorumi-taso

Jufo-taso 1

Pääsy asiakirjaan

10.1007/978-3-642-39992-3_13

Siteeraa tätä

Ebbing, J., Hella, L., Meier, A., Müller, J.-S., Jonni, V., & Vollmer, H. (2013). Extended modal dependence logic EMDL. teoksessa R. de Queiroz (Toimittaja), Logic, Language, Information and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings (Sivut 126-137). (Lecture Notes in Computer Science; Nro 8071). Springer. https://doi.org/10.1007/978-3-642-39992-3_13

@inproceedings{7b4617fda2b7481bbf29c59682d1cada,

title = "Extended modal dependence logic EMDL",

author = "Johannes Ebbing and Lauri Hella and Arne Meier and Julian-Steffen M{\"u}ller and Virtema Jonni and Heribert Vollmer",

year = "2013",

doi = "10.1007/978-3-642-39992-3_13",

language = "English",

isbn = "978-3-642-39991-6",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "8071",

pages = "126--137",

editor = "{de Queiroz}, Ruy",

booktitle = "Logic, Language, Information and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings",

}

Ebbing, J, Hella, L, Meier, A, Müller, J-S, Jonni, V & Vollmer, H 2013, Extended modal dependence logic EMDL. julkaisussa R de Queiroz (Toimittaja), Logic, Language, Information and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings. Lecture Notes in Computer Science, Nro 8071, Springer, Berlin, Sivut 126-137. https://doi.org/10.1007/978-3-642-39992-3_13

Extended modal dependence logic EMDL. / Ebbing, Johannes; Hella, Lauri; Meier, Arne et al.
Logic, Language, Information and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings. toim. / Ruy de Queiroz. Berlin: Springer, 2013. s. 126-137 (Lecture Notes in Computer Science; Nro 8071).

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

TY - GEN

T1 - Extended modal dependence logic EMDL

AU - Ebbing, Johannes

AU - Hella, Lauri

AU - Meier, Arne

AU - Müller, Julian-Steffen

AU - Jonni, Virtema

AU - Vollmer, Heribert

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-39992-3_13

DO - 10.1007/978-3-642-39992-3_13

M3 - Conference contribution

SN - 978-3-642-39991-6

T3 - Lecture Notes in Computer Science

SP - 126

EP - 137

BT - Logic, Language, Information and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings

A2 - de Queiroz, Ruy

PB - Springer

CY - Berlin

ER -

Ebbing J, Hella L, Meier A, Müller JS, Jonni V, Vollmer H. Extended modal dependence logic EMDL. julkaisussa de Queiroz R, toimittaja, Logic, Language, Information and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings. Berlin: Springer. 2013. s. 126-137. (Lecture Notes in Computer Science; 8071). doi: 10.1007/978-3-642-39992-3_13