Standard
Infinitary axiomatization of the equational theory of context-free languages. / Grathwohl, Niels Bjørn Bugge; Henglein, Fritz; Kozen, Dexter.
In:
Fundamenta Informaticae, Vol. 150, No. 3-4, 2017, p. 241-257.
Research output: Contribution to journal › Journal article › Research › peer-review
Harvard
Grathwohl, NBB
, Henglein, F & Kozen, D 2017, '
Infinitary axiomatization of the equational theory of context-free languages',
Fundamenta Informaticae, vol. 150, no. 3-4, pp. 241-257.
https://doi.org/10.3233/FI-2017-1469
APA
Grathwohl, N. B. B.
, Henglein, F., & Kozen, D. (2017).
Infinitary axiomatization of the equational theory of context-free languages.
Fundamenta Informaticae,
150(3-4), 241-257.
https://doi.org/10.3233/FI-2017-1469
Vancouver
Grathwohl NBB
, Henglein F, Kozen D.
Infinitary axiomatization of the equational theory of context-free languages.
Fundamenta Informaticae. 2017;150(3-4):241-257.
https://doi.org/10.3233/FI-2017-1469
Author
Grathwohl, Niels Bjørn Bugge ; Henglein, Fritz ; Kozen, Dexter. / Infinitary axiomatization of the equational theory of context-free languages. In: Fundamenta Informaticae. 2017 ; Vol. 150, No. 3-4. pp. 241-257.
Bibtex
@article{38e6add09861463dbfaffbdef7a6cdb1,
title = "Infinitary axiomatization of the equational theory of context-free languages",
keywords = "Context free languages, Kleene algebra, algebraically complete semirings, Conway semirings, mu-semiring",
author = "Grathwohl, {Niels Bj{\o}rn Bugge} and Fritz Henglein and Dexter Kozen",
year = "2017",
doi = "10.3233/FI-2017-1469",
language = "English",
volume = "150",
pages = "241--257",
journal = "Fundamenta Informaticae",
issn = "0169-2968",
publisher = "I O S Press",
number = "3-4",
}
RIS
TY - JOUR
T1 - Infinitary axiomatization of the equational theory of context-free languages
AU - Grathwohl, Niels Bjørn Bugge
AU - Henglein, Fritz
AU - Kozen, Dexter
PY - 2017
Y1 - 2017
KW - Context free languages
KW - Kleene algebra
KW - algebraically complete semirings
KW - Conway semirings
KW - mu-semiring
U2 - 10.3233/FI-2017-1469
DO - 10.3233/FI-2017-1469
M3 - Journal article
VL - 150
SP - 241
EP - 257
JO - Fundamenta Informaticae
JF - Fundamenta Informaticae
SN - 0169-2968
IS - 3-4
ER -