undefined

< Takaisin hakutuloksiin

Translating C# to Branching Symbolic Transducers

Julkaisuvuosi

2017

Tekijät

Saarikivi, Olli; Veanes, Margus

Organisaatiot ja tekijät

Aalto-yliopisto

Saarikivi Olli

Julkaisutyyppi

Julkaisumuoto

Artikkeli

Emojulkaisun tyyppi

Konferenssi

Artikkelin tyyppi

Muu artikkeli

Yleisö

Tieteellinen

Vertaisarvioitu

Vertaisarvioitu

OKM:n julkaisutyyppiluokitus

A4 Artikkeli konferenssijulkaisussa

Julkaisukanavan tiedot

Lehti

Kalpa Publications in Computing

Emojulkaisun nimi

IWIL Workshop and LPAR Short Presentations

Konferenssi

International Conference on Logic For Programming, Artificial Intelligence and Reasoning

Kustantaja

EasyChair

Volyymi

1

Sivut

86-99

ISSN

2515-1762

Julkaisu­foorumi

86343

Julkaisufoorumitaso

0

Avoin saatavuus

Avoin saatavuus kustantajan palvelussa

Ei

Rinnakkaistallennettu

Ei

Muut tiedot

Tieteenalat

Tietojenkäsittely ja informaatiotieteet

Avainsanat

[object Object],[object Object],[object Object]

Kustantajan kansainvälisyys

Kansainvälinen

Kieli

englanti

Kansainvälinen yhteisjulkaisu

Kyllä

Yhteisjulkaisu yrityksen kanssa

Kyllä

DOI

10.29007/7jf1

Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen

Kyllä