Counting logics and games with counters

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

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