Boolean dependence logic and partially-ordered connectives

Johannes Ebbing; Lauri Hella; Peter Lohmann; Virtema Jonni

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

Boolean dependence logic and partially-ordered connectives

Johannes Ebbing, Lauri Hella, Peter Lohmann, Virtema Jonni

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

1 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	111125
ISBN (painettu)	978-3-642-39992-3
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-642-39992-3_12
Tila	Julkaistu - 2013
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa

Julkaisusarja

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

Tutkimusalat

dependence logic
existential second-order logic
expressivity
partially-ordered connectives

Julkaisufoorumi-taso

Jufo-taso 1

Pääsy asiakirjaan

10.1007/978-3-642-39992-3_12

Siteeraa tätä

Ebbing, J., Hella, L., Lohmann, P., & Jonni, V. (2013). Boolean dependence logic and partially-ordered connectives. teoksessa R. de Queiroz (Toimittaja), Logic, Language, Information and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings (Sivut 111125). (Lecture Notes in Computer Science; Nro 8071). Springer. https://doi.org/10.1007/978-3-642-39992-3_12

Ebbing, Johannes ; Hella, Lauri ; Lohmann, Peter et al. / Boolean dependence logic and partially-ordered connectives. Logic, Language, Information and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings. Toimittaja / Ruy de Queiroz. Berlin : Springer, 2013. Sivut 111125 (Lecture Notes in Computer Science; 8071).

@inproceedings{187e8ed62fe04827a8b78734d04d28b8,

title = "Boolean dependence logic and partially-ordered connectives",

keywords = "dependence logic, existential second-order logic, expressivity, partially-ordered connectives, dependence logic, existential second-order logic, expressivity, partially-ordered connectives",

author = "Johannes Ebbing and Lauri Hella and Peter Lohmann and Virtema Jonni",

year = "2013",

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

language = "English",

isbn = "978-3-642-39992-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "8071",

pages = "111125",

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, Lohmann, P & Jonni, V 2013, Boolean dependence logic and partially-ordered connectives. 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 111125. https://doi.org/10.1007/978-3-642-39992-3_12

Boolean dependence logic and partially-ordered connectives. / Ebbing, Johannes; Hella, Lauri; Lohmann, Peter 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. 111125 (Lecture Notes in Computer Science; Nro 8071).

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

TY - GEN

T1 - Boolean dependence logic and partially-ordered connectives

AU - Ebbing, Johannes

AU - Hella, Lauri

AU - Lohmann, Peter

AU - Jonni, Virtema

PY - 2013

Y1 - 2013

KW - dependence logic

KW - existential second-order logic

KW - expressivity

KW - partially-ordered connectives

KW - dependence logic

KW - existential second-order logic

KW - expressivity

KW - partially-ordered connectives

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

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

M3 - Conference contribution

SN - 978-3-642-39992-3

T3 - Lecture Notes in Computer Science

SP - 111125

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, Lohmann P, Jonni V. Boolean dependence logic and partially-ordered connectives. 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. 111125. (Lecture Notes in Computer Science; 8071). doi: 10.1007/978-3-642-39992-3_12