@inproceedings{conf/lics/KhoussainovNRS04,
  added-at = {2023-03-24T00:00:00.000+0100},
  author = {Khoussainov, Bakhadyr and Nies, André and Rubin, Sasha and Stephan, Frank},
  biburl = {https://www.bibsonomy.org/bibtex/2dc35a4a1d50b509123ed0a49db552410/dblp},
  booktitle = {LICS},
  crossref = {conf/lics/2004},
  ee = {https://doi.ieeecomputersociety.org/10.1109/LICS.2004.1319599},
  interhash = {088425bec542a268e40f62c51c23817a},
  intrahash = {dc35a4a1d50b509123ed0a49db552410},
  isbn = {0-7695-2192-4},
  keywords = {dblp},
  pages = {44-53},
  publisher = {IEEE Computer Society},
  timestamp = {2024-04-10T20:01:20.000+0200},
  title = {Automatic Structures: Richness and Limitations.},
  url = {http://dblp.uni-trier.de/db/conf/lics/lics2004.html#KhoussainovNRS04},
  year = 2004
}

{"_id":"vciyy5rdYRfEnmyzo","bibbaseid":"khoussainov-nies-rubin-stephan-automaticstructuresrichnessandlimitations-2004","downloads":0,"creationDate":"2017-07-25T20:26:33.856Z","title":"Automatic Structures: Richness and Limitations.","author_short":["Khoussainov, B.","Nies, A.","Rubin, S.","Stephan, F."],"year":2004,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Rubin?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2023-03-24T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Khoussainov"],"firstnames":["Bakhadyr"],"suffixes":[]},{"propositions":[],"lastnames":["Nies"],"firstnames":["André"],"suffixes":[]},{"propositions":[],"lastnames":["Rubin"],"firstnames":["Sasha"],"suffixes":[]},{"propositions":[],"lastnames":["Stephan"],"firstnames":["Frank"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2dc35a4a1d50b509123ed0a49db552410/dblp","booktitle":"LICS","crossref":"conf/lics/2004","ee":"https://doi.ieeecomputersociety.org/10.1109/LICS.2004.1319599","interhash":"088425bec542a268e40f62c51c23817a","intrahash":"dc35a4a1d50b509123ed0a49db552410","isbn":"0-7695-2192-4","keywords":"dblp","pages":"44-53","publisher":"IEEE Computer Society","timestamp":"2024-04-10T20:01:20.000+0200","title":"Automatic Structures: Richness and Limitations.","url":"http://dblp.uni-trier.de/db/conf/lics/lics2004.html#KhoussainovNRS04","year":"2004","bibtex":"@inproceedings{conf/lics/KhoussainovNRS04,\n added-at = {2023-03-24T00:00:00.000+0100},\n author = {Khoussainov, Bakhadyr and Nies, André and Rubin, Sasha and Stephan, Frank},\n biburl = {https://www.bibsonomy.org/bibtex/2dc35a4a1d50b509123ed0a49db552410/dblp},\n booktitle = {LICS},\n crossref = {conf/lics/2004},\n ee = {https://doi.ieeecomputersociety.org/10.1109/LICS.2004.1319599},\n interhash = {088425bec542a268e40f62c51c23817a},\n intrahash = {dc35a4a1d50b509123ed0a49db552410},\n isbn = {0-7695-2192-4},\n keywords = {dblp},\n pages = {44-53},\n publisher = {IEEE Computer Society},\n timestamp = {2024-04-10T20:01:20.000+0200},\n title = {Automatic Structures: Richness and Limitations.},\n url = {http://dblp.uni-trier.de/db/conf/lics/lics2004.html#KhoussainovNRS04},\n year = 2004\n}\n\n","author_short":["Khoussainov, B.","Nies, A.","Rubin, S.","Stephan, F."],"key":"conf/lics/KhoussainovNRS04","id":"conf/lics/KhoussainovNRS04","bibbaseid":"khoussainov-nies-rubin-stephan-automaticstructuresrichnessandlimitations-2004","role":"author","urls":{"Link":"https://doi.ieeecomputersociety.org/10.1109/LICS.2004.1319599","Paper":"http://dblp.uni-trier.de/db/conf/lics/lics2004.html#KhoussainovNRS04"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["automatic","structures","richness","limitations","khoussainov","nies","rubin","stephan"],"keywords":["dblp"],"authorIDs":["5977a979f9f6dc600400002b"],"dataSources":["iYnHSPRrFF76W8ptK","74JLffDBQLjrojguT"]}