Infinitary Axiomatization of the Equational Theory of Context-Free Languages. Grathwohl, N. B. B., Henglein, F., & Kozen, D. In Baelde, D. & Carayol, A., editors, FICS, volume 126, of EPTCS, pages 44-55, 2013.
Infinitary Axiomatization of the Equational Theory of Context-Free Languages. [link]Link  Infinitary Axiomatization of the Equational Theory of Context-Free Languages. [link]Paper  bibtex   
@inproceedings{journals/corr/GrathwohlHK13,
  added-at = {2018-09-12T00:00:00.000+0200},
  author = {Grathwohl, Niels Bjørn Bugge and Henglein, Fritz and Kozen, Dexter},
  biburl = {https://www.bibsonomy.org/bibtex/2740a90e6153cf2b6cb03e2b92c9d2e9a/dblp},
  booktitle = {FICS},
  crossref = {journals/corr/BaeldeC13},
  editor = {Baelde, David and Carayol, Arnaud},
  ee = {http://arxiv.org/abs/1309.0893},
  interhash = {8c512de03d780125572ab374541875f5},
  intrahash = {740a90e6153cf2b6cb03e2b92c9d2e9a},
  keywords = {dblp},
  pages = {44-55},
  series = {EPTCS},
  timestamp = {2018-09-13T11:41:10.000+0200},
  title = {Infinitary Axiomatization of the Equational Theory of Context-Free Languages.},
  url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs126.html#GrathwohlHK13},
  volume = 126,
  year = 2013
}

Downloads: 0