Infinitary Axiomatization of the Equational Theory of Context-Free Languages. Grathwohl, N. B. B., Henglein, F., & Kozen, D. Fundam. Inform., 150(3-4):241-257, 2017.
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   
@article{journals/fuin/GrathwohlHK17a,
  added-at = {2017-05-20T00:00:00.000+0200},
  author = {Grathwohl, Niels Bjørn Bugge and Henglein, Fritz and Kozen, Dexter},
  biburl = {https://www.bibsonomy.org/bibtex/2ffbccf657c5bd7e91d9deebdd5276aa5/dblp},
  ee = {https://doi.org/10.3233/FI-2017-1469},
  interhash = {e0f0c1865c568863d9c15f13d32da851},
  intrahash = {ffbccf657c5bd7e91d9deebdd5276aa5},
  journal = {Fundam. Inform.},
  keywords = {dblp},
  number = {3-4},
  pages = {241-257},
  timestamp = {2017-05-23T23:19:49.000+0200},
  title = {Infinitary Axiomatization of the Equational Theory of Context-Free Languages.},
  url = {http://dblp.uni-trier.de/db/journals/fuin/fuin150.html#GrathwohlHK17a},
  volume = 150,
  year = 2017
}

Downloads: 0