Niels Bjørn Bugge Grathwohl, Fritz Henglein, Dexter Kozen. Infinitary Axiomatization of the Equational Theory of Context-Free Languages. Fundamenta Informaticae, 150(3-4):241-257, 2017. [doi]
@article{GrathwohlHK17, title = {Infinitary Axiomatization of the Equational Theory of Context-Free Languages}, author = {Niels Bjørn Bugge Grathwohl and Fritz Henglein and Dexter Kozen}, year = {2017}, doi = {10.3233/FI-2017-1469}, url = {http://dx.doi.org/10.3233/FI-2017-1469}, researchr = {https://researchr.org/publication/GrathwohlHK17}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {150}, number = {3-4}, pages = {241-257}, }