2007P7441'

BibTeX

@proceedings{DBLP:conf/dagstuhl/2007P7441,
  editor    = {Rod Downey and
               Bakhadyr Khoussainov and
               Dietrich Kuske and
               Markus Lohrey and
               Moshe Y. Vardi},
  title     = {Algorithmic-Logical Theory of Infinite Structures, 28.10.
               - 02.11.2007},
  booktitle = {Algorithmic-Logical Theory of Infinite Structures},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
               (IBFI), Schloss Dagstuhl, Germany},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {07441},
  year      = {2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}