Continuous Team Semantics

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Original languageEnglish
Title of host publicationTheory and Applications of Models of Computation : 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings
EditorsT. V. Gopal, Junzo Watada
Number of pages17
Volume11436
PublisherSpringer
Publication date2019
Pages262-278
ISBN (Print)978-3-030-14811-9
ISBN (Electronic)978-3-030-14812-6
DOIs
Publication statusPublished - 2019
MoE publication typeA4 Article in conference proceedings
Event15th Annual Conference, TAMC 2019 - Kitakyushu, Japan
Duration: 13 Apr 201916 Apr 2019
Conference number: 15

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume11436
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fields of Science

  • 111 Mathematics
  • Team semantics
  • Continuous logic
  • Computable analysis
  • Independence Logic
  • Dependence logic

Cite this

Hirvonen, Å., Kontinen, J., & Pauly, A. (2019). Continuous Team Semantics. In T. V. Gopal, & J. Watada (Eds.), Theory and Applications of Models of Computation : 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings (Vol. 11436, pp. 262-278). (Lecture Notes in Computer Science; Vol. 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. editor / T. V. Gopal ; Junzo Watada. Vol. 11436 Springer, 2019. pp. 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. in TV Gopal & J Watada (eds), Theory and Applications of Models of Computation : 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings. vol. 11436, Lecture Notes in Computer Science, vol. 11436, Springer, pp. 262-278, 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, 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. ed. / T. V. Gopal; Junzo Watada. Vol. 11436 Springer, 2019. p. 262-278 (Lecture Notes in Computer Science; Vol. 11436).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

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. In Gopal TV, Watada J, editors, Theory and Applications of Models of Computation : 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings. Vol. 11436. Springer. 2019. p. 262-278. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-030-14812-6