Flexible Term and Formula Matching
| Typ: | BA |
|---|---|
| Datum: | 2017-07-14 |
| Betreuer: | Sarah Grebing |
| Aushang: |
Ziel
Development of a flexible matching algorithm for formulas and terms, tailored to the needs for proof scripts in program verification.
Kontakt:
- Sarah Grebing (Raum 202, Geb. 50.34)