by Lukasz Kaiser
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}, }