EN | DE
Theoretische Informatik

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

daniel [2018/10/09 13:55]
hausmann
daniel [2019/05/03 01:07] (current)
hausmann
Line 13: Line 13:
 [[http://www8.cs.fau.de|Chair for Theoretical Computer Science]] of Friedrich-Alexander University of Erlangen and Nürnberg. [[http://www8.cs.fau.de|Chair for Theoretical Computer Science]] of Friedrich-Alexander University of Erlangen and Nürnberg.
  
-My recently completed PhD-thesis //Satisfiability Checking for the Coalgebraic µ-Calculus// supervised by Prof. Dr. Lutz Schröder gives a detailed discourse on decision procedures for the satisfiability problem of generic modal fixpoint logics: [[https://www8.cs.fau.de/_media/daniel:thesis.pdf|thesis.pdf]]+My recently completed PhD-thesis //Satisfiability Checking for the Coalgebraic µ-Calculus// supervised by Prof. Dr. Lutz Schröder gives a detailed discourse on decision procedures for the satisfiability problem of general modal fixpoint logics: [[https://www8.cs.fau.de/_media/daniel:thesis.pdf|thesis.pdf]]