@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",
}