| Zugriffe | |
|---|---|
| Automated theorem proving for dependent typed theories via a translation to higher-order logic | 879 |
| Oktober 2025 | November 2025 | Dezember 2025 | Januar 2026 | Februar 2026 | März 2026 | April 2026 | |
|---|---|---|---|---|---|---|---|
| Automated theorem proving for dependent typed theories via a translation to higher-order logic | 47 | 37 | 33 | 36 | 46 | 43 | 40 |
| Zugriffe | |
|---|---|
| Master Thesis - Colin Rothgang.pdf | 156 |
