A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams
Julkaisuvuosi
2020
Tekijät
Johannes Eriksson; Masoumeh Parsa
Organisaatiot ja tekijät
Åbo Akademi
Parsa Masoumeh
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Lehti
Practical Aspects of Declarative Languages
Emojulkaisun nimi
Konferenssi
Lecture Notes in Computer Science
Sivut
196-212
ISBN
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Ei
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Kyllä
DOI
10.1007/978-3-030-39197-3_13
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä