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.
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
{"_id":"J5RjssexBJS4RCPFH","bibbaseid":"grathwohl-henglein-kozen-infinitaryaxiomatizationoftheequationaltheoryofcontextfreelanguages-2013","authorIDs":[],"author_short":["Grathwohl, N. B. B.","Henglein, F.","Kozen, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2018-09-12T00: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/2740a90e6153cf2b6cb03e2b92c9d2e9a/dblp","booktitle":"FICS","crossref":"journals/corr/BaeldeC13","editor":[{"propositions":[],"lastnames":["Baelde"],"firstnames":["David"],"suffixes":[]},{"propositions":[],"lastnames":["Carayol"],"firstnames":["Arnaud"],"suffixes":[]}],"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","bibtex":"@inproceedings{journals/corr/GrathwohlHK13,\n added-at = {2018-09-12T00:00:00.000+0200},\n author = {Grathwohl, Niels Bjørn Bugge and Henglein, Fritz and Kozen, Dexter},\n biburl = {https://www.bibsonomy.org/bibtex/2740a90e6153cf2b6cb03e2b92c9d2e9a/dblp},\n booktitle = {FICS},\n crossref = {journals/corr/BaeldeC13},\n editor = {Baelde, David and Carayol, Arnaud},\n ee = {http://arxiv.org/abs/1309.0893},\n interhash = {8c512de03d780125572ab374541875f5},\n intrahash = {740a90e6153cf2b6cb03e2b92c9d2e9a},\n keywords = {dblp},\n pages = {44-55},\n series = {EPTCS},\n timestamp = {2018-09-13T11:41:10.000+0200},\n title = {Infinitary Axiomatization of the Equational Theory of Context-Free Languages.},\n url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs126.html#GrathwohlHK13},\n volume = 126,\n year = 2013\n}\n\n","author_short":["Grathwohl, N. B. B.","Henglein, F.","Kozen, D."],"editor_short":["Baelde, D.","Carayol, A."],"key":"journals/corr/GrathwohlHK13","id":"journals/corr/GrathwohlHK13","bibbaseid":"grathwohl-henglein-kozen-infinitaryaxiomatizationoftheequationaltheoryofcontextfreelanguages-2013","role":"author","urls":{"Link":"http://arxiv.org/abs/1309.0893","Paper":"http://dblp.uni-trier.de/db/series/eptcs/eptcs126.html#GrathwohlHK13"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/fritz?items=1000","creationDate":"2019-07-04T22:53:29.942Z","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":2013,"dataSources":["P8qTtTCTHaCFodAoX"]}