Counting logics and games with counters

Aachen / Publikationsserver der RWTH Aachen University (2015) [Doktorarbeit]

Seite(n): VII, 164 S. : graph. Darst.

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Leßenich, Simon Robert

Identifikationsnummern

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