Counting logics and games with counters

Posted on February 7, 2016 by
by Simon Robert Leßenich
View PDF
Reference:
Counting logics and games with counters (Simon Robert Leßenich), Publikationsserver der RWTH Aachen University, 2015. (RWTH Aachen University, Diss., 2015)
Bibtex Entry:
@PHDTHESIS{Leenich:466786,
      author       = {Leßenich, Simon Robert},
      othercontributors = {Grädel, Erich and Bojańczyk, Mikołaj and Thomas,
                          Wolfgang},
      title        = {{C}ounting logics and games with counters},
      school       = {RWTH Aachen University},
      type         = {Dr.},
      address      = {Aachen},
      publisher    = {Publikationsserver der RWTH Aachen University},
      reportid     = {RWTH-2015-02322},
      pages        = {VII, 164 S. : graph. Darst.},
      year         = {2015},
      note         = {RWTH Aachen University, Diss., 2015},
      cin          = {117220 / 110000},
      ddc          = {Informatik},
      cid          = {$I:(DE-82)117220_20140620$ / $I:(DE-82)110000_20140620$},
      typ          = {PUB:(DE-HGF)11},
      urn          = {urn:nbn:de:hbz:82-rwth-2015-023225},
      url          = {http://publications.rwth-aachen.de/record/466786},
}

Bookmark the permalink.