Definability and model checking : the role of orders and compositionality

Aachen / Publikationsserver der RWTH Aachen University (2011, 2012) [Doktorarbeit]

Seite(n): VIII, 127 S. : graph. Darst.

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Ganzow, Tobias

Identifikationsnummern

  • URN: urn:nbn:de:hbz:82-opus-39701
  • REPORT NUMBER: RWTH-CONV-143102