header: MPI-I and Uni Koblenz
Matthias Horbach

News: Jahrestreffen der GI-Fachgruppe Deduktionssysteme
am 2.-3. August 2015 an der FU Berlin im Rahmen der CADE-25.

Research Interests