Formal Languages, Formally and Coinductively
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Standard
Formal Languages, Formally and Coinductively. / Traytel, Dmitriy.
FSCD 2016. ed. / Delia Kesner; Brigitte Pientka. Vol. 52 Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. p. 31:1-31:17 (LIPIcs).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Traytel, D 2016, Formal Languages, Formally and Coinductively. in D Kesner & B Pientka (eds), FSCD 2016. vol. 52, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, LIPIcs, pp. 31:1-31:17. https://doi.org/10.4230/LIPIcs.FSCD.2016.31
APA
Traytel, D. (2016). Formal Languages, Formally and Coinductively. In D. Kesner, & B. Pientka (Eds.), FSCD 2016 (Vol. 52, pp. 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. In Kesner D, Pientka B, editors, FSCD 2016. Vol. 52. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 2016. p. 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