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. 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
{"_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"]}