List of publications
| Dokumenttyp | Erscheinungsjahr | Titel | Autoren | Herausgeber |
|---|---|---|---|---|
| doctoralThesis | 2020 | Formalization of logical calculi in Isabelle/HOL | Fleury, Mathias |
Welcome
| Name: | Fleury, Mathias |
| Faculty: | - |
| Department: | - |
| Professorship: | - |
| Display style: |