Flexible Term and Formula Matching

Typ: BA
Datum: 2017-07-14
Betreuer: Sarah Grebing
Bearbeiter:
Aushang:

Ziel

Development of a flexible matching algorithm for formulas and terms, tailored to the needs for proof scripts in program verification.

Kontakt: