Counting logics and games with counters

Aachen / Publikationsserver der RWTH Aachen University (2015) [Dissertation / PhD Thesis]

Page(s): VII, 164 S. : graph. Darst.

Authors

Selected Authors

Leßenich, Simon Robert

Identifier

  • URN: urn:nbn:de:hbz:82-rwth-2015-023225
  • REPORT NUMBER: RWTH-2015-02322