Why are modal logics so robustly decidable?

Leiden / EATCS (1999) [Fachzeitschriftenartikel]

Bulletin of the European Association for Theoretical Computer Science
Band: 68
Seite(n): 90-103

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Grädel, Erich

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-021655