Formal Languages, Formally and Coinductively

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

OriginalsprogEngelsk
TitelFSCD 2016
RedaktørerDelia Kesner, Brigitte Pientka
Vol/bind52
ForlagSchloss Dagstuhl - Leibniz-Zentrum für Informatik
Publikationsdato2016
Sider31:1-31:17
DOI
StatusUdgivet - 2016
Eksternt udgivetJa
NavnLIPIcs

ID: 245669113