Formal Languages, Formally and Coinductively
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Standard
Formal Languages, Formally and Coinductively. / Traytel, Dmitriy.
I: Logical Methods in Computer Science, Bind 13, Nr. 3, 28, 2017, s. 1-22.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Harvard
Traytel, D 2017, 'Formal Languages, Formally and Coinductively', Logical Methods in Computer Science, bind 13, nr. 3, 28, s. 1-22. https://doi.org/10.23638/LMCS-13(3:28)2017
APA
Traytel, D. (2017). Formal Languages, Formally and Coinductively. Logical Methods in Computer Science, 13(3), 1-22. [28]. https://doi.org/10.23638/LMCS-13(3:28)2017
Vancouver
Traytel D. Formal Languages, Formally and Coinductively. Logical Methods in Computer Science. 2017;13(3):1-22. 28. https://doi.org/10.23638/LMCS-13(3:28)2017
Author
Bibtex
@article{ef2dcff5b16a4c91a654e6802c1900ac,
title = "Formal Languages, Formally and Coinductively",
author = "Dmitriy Traytel",
year = "2017",
doi = "10.23638/LMCS-13(3:28)2017",
language = "English",
volume = "13",
pages = "1--22",
journal = "Logical Methods in Computer Science",
issn = "1860-5974",
publisher = "International Federation for Computational Logic",
number = "3",
}
RIS
TY - JOUR
T1 - Formal Languages, Formally and Coinductively
AU - Traytel, Dmitriy
PY - 2017
Y1 - 2017
U2 - 10.23638/LMCS-13(3:28)2017
DO - 10.23638/LMCS-13(3:28)2017
M3 - Journal article
VL - 13
SP - 1
EP - 22
JO - Logical Methods in Computer Science
JF - Logical Methods in Computer Science
SN - 1860-5974
IS - 3
M1 - 28
ER -
ID: 245669482