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

{"_id":"ycDFGTYXAk8YhNRCP","bibbaseid":"grathwohl-henglein-kozen-infinitaryaxiomatizationoftheequationaltheoryofcontextfreelanguages-2017","authorIDs":[],"author_short":["Grathwohl, N. B. B.","Henglein, F.","Kozen, D."],"bibdata":{"bibtype":"article","type":"article","added-at":"2017-05-20T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Grathwohl"],"firstnames":["Niels","Bjørn","Bugge"],"suffixes":[]},{"propositions":[],"lastnames":["Henglein"],"firstnames":["Fritz"],"suffixes":[]},{"propositions":[],"lastnames":["Kozen"],"firstnames":["Dexter"],"suffixes":[]}],"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","bibtex":"@article{journals/fuin/GrathwohlHK17a,\n added-at = {2017-05-20T00:00:00.000+0200},\n author = {Grathwohl, Niels Bjørn Bugge and Henglein, Fritz and Kozen, Dexter},\n biburl = {https://www.bibsonomy.org/bibtex/2ffbccf657c5bd7e91d9deebdd5276aa5/dblp},\n ee = {https://doi.org/10.3233/FI-2017-1469},\n interhash = {e0f0c1865c568863d9c15f13d32da851},\n intrahash = {ffbccf657c5bd7e91d9deebdd5276aa5},\n journal = {Fundam. Inform.},\n keywords = {dblp},\n number = {3-4},\n pages = {241-257},\n timestamp = {2017-05-23T23:19:49.000+0200},\n title = {Infinitary Axiomatization of the Equational Theory of Context-Free Languages.},\n url = {http://dblp.uni-trier.de/db/journals/fuin/fuin150.html#GrathwohlHK17a},\n volume = 150,\n year = 2017\n}\n\n","author_short":["Grathwohl, N. B. B.","Henglein, F.","Kozen, D."],"key":"journals/fuin/GrathwohlHK17a","id":"journals/fuin/GrathwohlHK17a","bibbaseid":"grathwohl-henglein-kozen-infinitaryaxiomatizationoftheequationaltheoryofcontextfreelanguages-2017","role":"author","urls":{"Link":"https://doi.org/10.3233/FI-2017-1469","Paper":"http://dblp.uni-trier.de/db/journals/fuin/fuin150.html#GrathwohlHK17a"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/fritz?items=1000","creationDate":"2019-07-04T22:53:30.318Z","downloads":0,"keywords":["dblp"],"search_terms":["infinitary","axiomatization","equational","theory","context","free","languages","grathwohl","henglein","kozen"],"title":"Infinitary Axiomatization of the Equational Theory of Context-Free Languages.","year":2017,"dataSources":["P8qTtTCTHaCFodAoX"]}