Formal Languages, Formally and Coinductively

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

3 Citationer (Scopus)

Originalsprog	Engelsk
Titel	FSCD 2016
Redaktører	Delia Kesner, Brigitte Pientka
Vol/bind	52
Forlag	Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Publikationsdato	2016
Sider	31:1-31:17
DOI	https://doi.org/10.4230/LIPIcs.FSCD.2016.31
Status	Udgivet - 2016
Udgivet eksternt	Ja

Navn	LIPIcs

Adgang til dokumentet

@inproceedings{e79a6c64549a43eabcc96acd4ae8a2f6,

title = "Formal Languages, Formally and Coinductively",

author = "Dmitriy Traytel",

year = "2016",

doi = "10.4230/LIPIcs.FSCD.2016.31",

language = "English",

volume = "52",

series = "LIPIcs",

pages = "31:1--31:17",

editor = "Delia Kesner and Brigitte Pientka",

booktitle = "FSCD 2016",

publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik",

}