Formal Languages, Formally and Coinductively
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Standard
Formal Languages, Formally and Coinductively. / Traytel, Dmitriy.
FSCD 2016. red. / Delia Kesner; Brigitte Pientka. Bind 52 Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. s. 31:1-31:17 (LIPIcs).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Traytel, D 2016, Formal Languages, Formally and Coinductively. i D Kesner & B Pientka (red), FSCD 2016. bind 52, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, LIPIcs, s. 31:1-31:17. https://doi.org/10.4230/LIPIcs.FSCD.2016.31
APA
Traytel, D. (2016). Formal Languages, Formally and Coinductively. I D. Kesner, & B. Pientka (red.), FSCD 2016 (Bind 52, s. 31:1-31:17). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. LIPIcs https://doi.org/10.4230/LIPIcs.FSCD.2016.31
Vancouver
Traytel D. Formal Languages, Formally and Coinductively. I Kesner D, Pientka B, red., FSCD 2016. Bind 52. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 2016. s. 31:1-31:17. (LIPIcs). https://doi.org/10.4230/LIPIcs.FSCD.2016.31
Author
Bibtex
@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",
}
RIS
TY - GEN
T1 - Formal Languages, Formally and Coinductively
AU - Traytel, Dmitriy
PY - 2016
Y1 - 2016
U2 - 10.4230/LIPIcs.FSCD.2016.31
DO - 10.4230/LIPIcs.FSCD.2016.31
M3 - Article in proceedings
VL - 52
T3 - LIPIcs
SP - 31:1-31:17
BT - FSCD 2016
A2 - Kesner, Delia
A2 - Pientka, Brigitte
PB - Schloss Dagstuhl - Leibniz-Zentrum für Informatik
ER -
ID: 245669113