Publications
Publication |
Open Inductive Predicates |
Advisors
Former Staff Member |
---|
Dr. rer. nat. Joachim Breitner |
Students
Former Students |
---|
Richard Molitor |
Publication |
Open Inductive Predicates |
Former Staff Member |
---|
Dr. rer. nat. Joachim Breitner |
Former Students |
---|
Richard Molitor |