@inproceedings{DBLP:conf/lics/IshiharaKR02,
  author    = {Hajime Ishihara and
               Bakhadyr Khoussainov and
               Sasha Rubin},
  title     = {Some Results on Automatic Structures},
  booktitle = {{LICS 2002}, 17th {IEEE} Symposium on Logic in Computer Science, 22-25 July 2002, Copenhagen, Denmark, Proceedings},
  pages     = {235},
  year      = {2002},
  optcrossref  = {DBLP:conf/lics/2002},
  opturl       = {http://dx.optdoi.org/10.1109/LICS.2002.1029832},
  optdoi       = {10.1109/LICS.2002.1029832},
  timestamp = {Sat, 22 Nov 2014 13:44:43 +0100},
  bibopturl    = {http://dblp.uni-trier.de/rec/bib/conf/lics/IshiharaKR02},
  bibsource = {dblp computer science bibliography, http://dblp.org},
}

{"_id":"yrjKSCf8KzmQz7x4E","bibbaseid":"ishihara-khoussainov-rubin-someresultsonautomaticstructures-2002","downloads":0,"creationDate":"2017-07-25T20:26:33.843Z","title":"Some Results on Automatic Structures","author_short":["Ishihara, H.","Khoussainov, B.","Rubin, S."],"year":2002,"bibtype":"inproceedings","biburl":"http://sasharubin.github.io/rubin.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Hajime"],"propositions":[],"lastnames":["Ishihara"],"suffixes":[]},{"firstnames":["Bakhadyr"],"propositions":[],"lastnames":["Khoussainov"],"suffixes":[]},{"firstnames":["Sasha"],"propositions":[],"lastnames":["Rubin"],"suffixes":[]}],"title":"Some Results on Automatic Structures","booktitle":"LICS 2002, 17th IEEE Symposium on Logic in Computer Science, 22-25 July 2002, Copenhagen, Denmark, Proceedings","pages":"235","year":"2002","optcrossref":"DBLP:conf/lics/2002","opturl":"http://dx.optdoi.org/10.1109/LICS.2002.1029832","optdoi":"10.1109/LICS.2002.1029832","timestamp":"Sat, 22 Nov 2014 13:44:43 +0100","bibopturl":"http://dblp.uni-trier.de/rec/bib/conf/lics/IshiharaKR02","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@inproceedings{DBLP:conf/lics/IshiharaKR02,\n author = {Hajime Ishihara and\n Bakhadyr Khoussainov and\n Sasha Rubin},\n title = {Some Results on Automatic Structures},\n booktitle = {{LICS 2002}, 17th {IEEE} Symposium on Logic in Computer Science, 22-25 July 2002, Copenhagen, Denmark, Proceedings},\n pages = {235},\n year = {2002},\n optcrossref = {DBLP:conf/lics/2002},\n opturl = {http://dx.optdoi.org/10.1109/LICS.2002.1029832},\n optdoi = {10.1109/LICS.2002.1029832},\n timestamp = {Sat, 22 Nov 2014 13:44:43 +0100},\n bibopturl = {http://dblp.uni-trier.de/rec/bib/conf/lics/IshiharaKR02},\n bibsource = {dblp computer science bibliography, http://dblp.org},\n}\n\n","author_short":["Ishihara, H.","Khoussainov, B.","Rubin, S."],"key":"DBLP:conf/lics/IshiharaKR02","id":"DBLP:conf/lics/IshiharaKR02","bibbaseid":"ishihara-khoussainov-rubin-someresultsonautomaticstructures-2002","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["results","automatic","structures","ishihara","khoussainov","rubin"],"keywords":[],"authorIDs":["5977a979f9f6dc600400002b"],"dataSources":["iYnHSPRrFF76W8ptK"]}