(This text is only available in German.) 

Publications

Publication

Open Inductive Predicates

Advisors

Former Staff Member
Dr. rer. nat. Joachim Breitner

Students

Former Students
Richard Molitor