Media type: E-Book Title: Satisfiability Checking for the Coalgebraic µ-Calculus Other titles: Erfüllbarkeitsprüfung für den Koalgebraischen µ-Kalkül Contributor: Hausmann, Daniel [Verfasser]; Schröder, Lutz [Akademischer Betreuer]; Schröder, Lutz [Gutachter]; Kurz, Alexander [Gutachter] imprint: Erlangen: Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2018 Extent: Online-Ressource Language: English Identifier: Keywords: Calculus ; Games ; Fixpunkt-Logik ; Koalgebra ; Erfüllbarkeitsproblem ; Büchi-Automat ; Mathematisches Spiel ; Automatendeterminisierung ; Paritätsspiel ; Paritätsautomat Origination: University thesis: Dissertation, Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2018 Footnote: Access State: Open Access