Definability and Regularity in Automatic Structures. Khoussainov, B., Rubin, S., & Stephan, F. In STACS 2004, 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings, pages 440--451, 2004. bibtex @inproceedings{DBLP:conf/stacs/KhoussainovRS04,
author = {Bakhadyr Khoussainov and
Sasha Rubin and
Frank Stephan},
title = {Definability and Regularity in Automatic Structures},
booktitle = {{STACS} 2004, 21st Annual Symposium on Theoretical Aspects of Computer
Science, Montpellier, France, March 25-27, 2004, Proceedings},
pages = {440--451},
year = {2004},
optcrossref = {DBLP:conf/stacs/2004},
opturl = {http://dx.optdoi.org/10.1007/978-3-540-24749-4_39},
optdoi = {10.1007/978-3-540-24749-4_39},
timestamp = {Wed, 06 Jul 2011 21:22:22 +0200},
bibopturl = {http://dblp.uni-trier.de/rec/bib/conf/stacs/KhoussainovRS04},
bibsource = {dblp computer science bibliography, http://dblp.org},
}
Downloads: 0
{"_id":"3PobCswxhb7zad2Wa","bibbaseid":"khoussainov-rubin-stephan-definabilityandregularityinautomaticstructures-2004","downloads":0,"creationDate":"2017-07-25T20:26:33.858Z","title":"Definability and Regularity in Automatic Structures","author_short":["Khoussainov, B.","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":["Sasha"],"propositions":[],"lastnames":["Rubin"],"suffixes":[]},{"firstnames":["Frank"],"propositions":[],"lastnames":["Stephan"],"suffixes":[]}],"title":"Definability and Regularity in Automatic Structures","booktitle":"STACS 2004, 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings","pages":"440--451","year":"2004","optcrossref":"DBLP:conf/stacs/2004","opturl":"http://dx.optdoi.org/10.1007/978-3-540-24749-4_39","optdoi":"10.1007/978-3-540-24749-4_39","timestamp":"Wed, 06 Jul 2011 21:22:22 +0200","bibopturl":"http://dblp.uni-trier.de/rec/bib/conf/stacs/KhoussainovRS04","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@inproceedings{DBLP:conf/stacs/KhoussainovRS04,\n author = {Bakhadyr Khoussainov and\n Sasha Rubin and\n Frank Stephan},\n title = {Definability and Regularity in Automatic Structures},\n booktitle = {{STACS} 2004, 21st Annual Symposium on Theoretical Aspects of Computer\n Science, Montpellier, France, March 25-27, 2004, Proceedings},\n pages = {440--451},\n year = {2004},\n optcrossref = {DBLP:conf/stacs/2004},\n opturl = {http://dx.optdoi.org/10.1007/978-3-540-24749-4_39},\n optdoi = {10.1007/978-3-540-24749-4_39},\n timestamp = {Wed, 06 Jul 2011 21:22:22 +0200},\n bibopturl = {http://dblp.uni-trier.de/rec/bib/conf/stacs/KhoussainovRS04},\n bibsource = {dblp computer science bibliography, http://dblp.org},\n}\n\n","author_short":["Khoussainov, B.","Rubin, S.","Stephan, F."],"key":"DBLP:conf/stacs/KhoussainovRS04","id":"DBLP:conf/stacs/KhoussainovRS04","bibbaseid":"khoussainov-rubin-stephan-definabilityandregularityinautomaticstructures-2004","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["definability","regularity","automatic","structures","khoussainov","rubin","stephan"],"keywords":[],"authorIDs":[],"dataSources":["iYnHSPRrFF76W8ptK"]}