Grabmann, Konstantin
(25. November 2023):
Quantifier elimination for infinite atomic Boolean differential rings.
Bachelorarbeit,
Fakultät für Mathematik, Informatik und Statistik, Ludwig-Maximilians-Universität München.
[PDF, 463kB]
| Dokumententyp: | LMU München: Studienabschlussarbeit |
|---|---|
| Fakultät: | Mathematik, Informatik und Statistik > Mathematik
Mathematik, Informatik und Statistik > Informatik |
| Institut oder Departement: | Institut für Informatik |
| Themengebiete: | 000 Informatik, Informationswissenschaft, allgemeine Werke > 000 Informatik, Wissen, Systeme |
| URN: | urn:nbn:de:bvb:19-epub-129556-5 |
| Sprache: | Englisch |
| Dokumenten ID: | 129556 |
| Datum der Veröffentlichung auf Open Access LMU: | 29. Dez. 2025 10:14 |
| Letzte Änderungen: | 29. Dez. 2025 17:17 |
- Dokument bearbeiten
