Publications
| Publication |
| Finding Equations in Functional Programs |
Advisors
| Former Staff Member |
|---|
| Dr. rer. nat. Joachim Breitner |
Students
| Former Students |
|---|
| Johannes Bader |
bachelor thesis (finished): Inferring equalities in functional programs
Description only available in german.