TY  - RPRT
TI  - Infinitary Axiomatization of the Equational Theory of Context-Free Languages
AU  - Niels Bjørn Bugge Grathwohl
AU  - Fritz Henglein
AU  - Dexter Kozen
PY  - 2013
DO  - 10.4204/eptcs.126.4
UR  - https://arxiv.org/abs/1309.0893
ID  - 1309.0893
ER  -