Continuous Team Semantics

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Alkuperäiskielienglanti
OtsikkoTheory and Applications of Models of Computation : 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings
ToimittajatT. V. Gopal, Junzo Watada
Sivumäärä17
Vuosikerta11436
KustantajaSpringer
Julkaisupäivä2019
Sivut262-278
ISBN (painettu)978-3-030-14811-9
ISBN (elektroninen)978-3-030-14812-6
DOI - pysyväislinkit
TilaJulkaistu - 2019
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
Tapahtuma15th Annual Conference, TAMC 2019 - Kitakyushu, Japani
Kesto: 13 huhtikuuta 201916 huhtikuuta 2019
Konferenssinumero: 15

Julkaisusarja

NimiLecture Notes in Computer Science
KustantajaSpringer
Vuosikerta11436
ISSN (painettu)0302-9743
ISSN (elektroninen)1611-3349

Tieteenalat

  • 111 Matematiikka

Lainaa tätä

Hirvonen, Å., Kontinen, J., & Pauly, A. (2019). Continuous Team Semantics. teoksessa T. V. Gopal, & J. Watada (Toimittajat), Theory and Applications of Models of Computation : 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings (Vuosikerta 11436, Sivut 262-278). (Lecture Notes in Computer Science; Vuosikerta 11436). Springer. https://doi.org/10.1007/978-3-030-14812-6
Hirvonen, Åsa ; Kontinen, Juha ; Pauly, Arno. / Continuous Team Semantics. Theory and Applications of Models of Computation : 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings. Toimittaja / T. V. Gopal ; Junzo Watada. Vuosikerta 11436 Springer, 2019. Sivut 262-278 (Lecture Notes in Computer Science).
@inproceedings{e522c3091b7c4440883b8d2b45f8752f,
title = "Continuous Team Semantics",
keywords = "111 Mathematics, Team semantics, Continuous logic, Computable analysis, Independence Logic, Dependence logic",
author = "{\AA}sa Hirvonen and Juha Kontinen and Arno Pauly",
year = "2019",
doi = "10.1007/978-3-030-14812-6",
language = "English",
isbn = "978-3-030-14811-9",
volume = "11436",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "262--278",
editor = "Gopal, {T. V.} and Junzo Watada",
booktitle = "Theory and Applications of Models of Computation",
address = "International",

}

Hirvonen, Å, Kontinen, J & Pauly, A 2019, Continuous Team Semantics. julkaisussa TV Gopal & J Watada (toim), Theory and Applications of Models of Computation : 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings. Vuosikerta 11436, Lecture Notes in Computer Science, Vuosikerta 11436, Springer, Sivut 262-278, 15th Annual Conference, TAMC 2019, Kitakyushu, Japani, 13/04/2019. https://doi.org/10.1007/978-3-030-14812-6

Continuous Team Semantics. / Hirvonen, Åsa; Kontinen, Juha; Pauly, Arno.

Theory and Applications of Models of Computation : 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings. toim. / T. V. Gopal; Junzo Watada. Vuosikerta 11436 Springer, 2019. s. 262-278 (Lecture Notes in Computer Science; Vuosikerta 11436).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

TY - GEN

T1 - Continuous Team Semantics

AU - Hirvonen, Åsa

AU - Kontinen, Juha

AU - Pauly, Arno

PY - 2019

Y1 - 2019

KW - 111 Mathematics

KW - Team semantics

KW - Continuous logic

KW - Computable analysis

KW - Independence Logic

KW - Dependence logic

U2 - 10.1007/978-3-030-14812-6

DO - 10.1007/978-3-030-14812-6

M3 - Conference contribution

SN - 978-3-030-14811-9

VL - 11436

T3 - Lecture Notes in Computer Science

SP - 262

EP - 278

BT - Theory and Applications of Models of Computation

A2 - Gopal, T. V.

A2 - Watada, Junzo

PB - Springer

ER -

Hirvonen Å, Kontinen J, Pauly A. Continuous Team Semantics. julkaisussa Gopal TV, Watada J, toimittajat, Theory and Applications of Models of Computation : 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings. Vuosikerta 11436. Springer. 2019. s. 262-278. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-030-14812-6