Polyteam Semantics

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Alkuperäiskielienglanti
OtsikkoLogical Foundations of Computer Science
ToimittajatSergei Artemov, Anil Nerode
Sivumäärä21
Vuosikerta2018
KustantajaSpringer
Julkaisupäivä2018
Sivut190–210
ISBN (painettu)978-3-319-72055-5
ISBN (elektroninen)978-3-319-72056-2
DOI - pysyväislinkit
TilaJulkaistu - 2018
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaLogical Foundations of Computer Science 2018 - Deerfield Beach, Yhdysvallat (USA)
Kesto: 8 tammikuuta 201811 tammikuuta 2018

Julkaisusarja

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

Tieteenalat

  • 111 Matematiikka
  • 112 Tilastotiede

Siteeraa tätä