Publications
| Publication |
| Locating and presenting lexical references in a theorem prover |
Advisors
| Former Staff Member |
|---|
| Dr.-Ing. Sebastian Ullrich |
Students
| Former Students |
|---|
| Joscha Mennicken |
bachelor thesis (finished): Localizing & Presenting Lexical References in a Theorem Prover
Description currently only available in German.