Counting logics and games with counters 2015-05-13

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


Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Leßenich, Simon Robert

Identifikationsnummern

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