Automatic Structures: Richness and Limitations

Automatic Structures: Richness and Limitations. Khoussainov, B.; Nies, A.; Rubin, S.; and 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