Logic and games on automatic structures

Posted on February 17, 2016 by
by Lukasz Kaiser
View PDF
Reference:
Logic and games on automatic structures (Lukasz Kaiser), Publikationsserver der RWTH Aachen University, 2008. (Aachen, Techn. Hochsch., Diss., 2008)
Bibtex Entry:
@PHDTHESIS{Kaiser:50374,
      author       = {Kaiser, Lukasz},
      othercontributors = {Grädel, Erich},
      title        = {{L}ogic and games on automatic structures},
      address      = {Aachen},
      publisher    = {Publikationsserver der RWTH Aachen University},
      pages        = {XIII, 144 S. : graph. Darst.},
      year         = {2008},
      note         = {Aachen, Techn. Hochsch., Diss., 2008},
      keywords     = {Mathematische Logik (SWD) / Spieltheorie (SWD) /
                      Automatentheorie (SWD) / Lindström-Quantor (SWD)},
      cin          = {117220 / 110000},
      ddc          = {Informatik},
      cid          = {$I:(DE-82)117220_20140620$ / $I:(DE-82)110000_20140620$},
      shelfmark    = {F.4. * F.1.1},
      typ          = {PUB:(DE-HGF)11},
      urn          = {urn:nbn:de:hbz:82-opus-25616},
      url          = {http://publications.rwth-aachen.de/record/50374},
}

Bookmark the permalink.