> Detailanzeige

Dittmann, Christoph [VerfasserIn] ; Kreutzer, Stephan [Sonstige Person, Familie und Körperschaft]; Grädel, Erich [Sonstige Person, Familie und Körperschaft]; Nestmann, Uwe [Sonstige Person, Familie und Körperschaft]

Parity games, separations, and the modal μ-calculus

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: E-Book
  • Titel: Parity games, separations, and the modal μ-calculus
  • Weitere Titel: Paritätsspiele, Separationen und der modale μ-Kalkül
  • Beteiligte: Dittmann, Christoph [Verfasser]; Kreutzer, Stephan [Gutachter]; Grädel, Erich [Gutachter]; Nestmann, Uwe [Gutachter]
  • Erschienen: Berlin: Universitätsverlag der TU Berlin, 2017
  • Erschienen in: Foundations of computing ; 9
  • Umfang: Online-Ressource
  • Sprache: Englisch
  • DOI: 10.14279/depositonce-5700
  • Identifikator:
  • Schlagwörter: My-Kalkül > Paritätsspiel
  • Entstehung:
  • Hochschulschrift: Dissertation, Berlin, Technische Universität Berlin, 2017
  • Anmerkungen:
  • Zugangsstatus: Freier Zugang