EN | DE
Theoretische Informatik

Differences

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

Link to this comparison view

research [2014/07/29 10:06]
lutz [Forschungsschwerpunkte]
research [2015/10/02 21:44] (current)
stefan added COAX
Line 26: Line 26:
   * Generische algorithmische Methoden für Modal- und Hybridlogiken   * Generische algorithmische Methoden für Modal- und Hybridlogiken
   * Probabilistische Beschreibungslogik   * Probabilistische Beschreibungslogik
 +  * Coinduction meets Algebra for the Axiomatization of System Equivalences (COAX)
  
 ===== Software ===== ===== Software =====