Automatic Structures: Richness and Limitations. Khoussainov, B., Nies, A., Rubin, S., & Stephan, F. In LICS 2004, 19th IEEE Symposium on Logic in Computer Science, 14-17 July 2004, Turku, Finland, Proceedings, pages 44--53, 2004. bibtex @inproceedings{DBLP:conf/lics/KhoussainovNRS04,
author = {Bakhadyr Khoussainov and
Andr{\'{e}} Nies and
Sasha Rubin and
Frank Stephan},
title = {Automatic Structures: Richness and Limitations},
booktitle = {{LICS 2004}, 19th {IEEE} Symposium on Logic in Computer Science,
14-17 July 2004, Turku, Finland, Proceedings},
pages = {44--53},
year = {2004},
optcrossref = {DBLP:conf/lics/2004},
opturl = {http://dx.optdoi.org/10.1109/LICS.2004.1319599},
optdoi = {10.1109/LICS.2004.1319599},
timestamp = {Sat, 22 Nov 2014 13:44:45 +0100},
bibopturl = {http://dblp.uni-trier.de/rec/bib/conf/lics/KhoussainovNRS04},
bibsource = {dblp computer science bibliography, http://dblp.org},
}
Downloads: 0
{"_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://sasharubin.github.io/rubin.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Bakhadyr"],"propositions":[],"lastnames":["Khoussainov"],"suffixes":[]},{"firstnames":["André"],"propositions":[],"lastnames":["Nies"],"suffixes":[]},{"firstnames":["Sasha"],"propositions":[],"lastnames":["Rubin"],"suffixes":[]},{"firstnames":["Frank"],"propositions":[],"lastnames":["Stephan"],"suffixes":[]}],"title":"Automatic Structures: Richness and Limitations","booktitle":"LICS 2004, 19th IEEE Symposium on Logic in Computer Science, 14-17 July 2004, Turku, Finland, Proceedings","pages":"44--53","year":"2004","optcrossref":"DBLP:conf/lics/2004","opturl":"http://dx.optdoi.org/10.1109/LICS.2004.1319599","optdoi":"10.1109/LICS.2004.1319599","timestamp":"Sat, 22 Nov 2014 13:44:45 +0100","bibopturl":"http://dblp.uni-trier.de/rec/bib/conf/lics/KhoussainovNRS04","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@inproceedings{DBLP:conf/lics/KhoussainovNRS04,\n author = {Bakhadyr Khoussainov and\n Andr{\\'{e}} Nies and\n Sasha Rubin and\n Frank Stephan},\n title = {Automatic Structures: Richness and Limitations},\n booktitle = {{LICS 2004}, 19th {IEEE} Symposium on Logic in Computer Science,\n 14-17 July 2004, Turku, Finland, Proceedings},\n pages = {44--53},\n year = {2004},\n optcrossref = {DBLP:conf/lics/2004},\n opturl = {http://dx.optdoi.org/10.1109/LICS.2004.1319599},\n optdoi = {10.1109/LICS.2004.1319599},\n timestamp = {Sat, 22 Nov 2014 13:44:45 +0100},\n bibopturl = {http://dblp.uni-trier.de/rec/bib/conf/lics/KhoussainovNRS04},\n bibsource = {dblp computer science bibliography, http://dblp.org},\n}\n\n","author_short":["Khoussainov, B.","Nies, A.","Rubin, S.","Stephan, F."],"key":"DBLP:conf/lics/KhoussainovNRS04","id":"DBLP:conf/lics/KhoussainovNRS04","bibbaseid":"khoussainov-nies-rubin-stephan-automaticstructuresrichnessandlimitations-2004","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["automatic","structures","richness","limitations","khoussainov","nies","rubin","stephan"],"keywords":[],"authorIDs":["5977a979f9f6dc600400002b"],"dataSources":["iYnHSPRrFF76W8ptK"]}