Grabmann, Konstantin
(25. November 2023):
Quantifier elimination for infinite atomic Boolean differential rings.
Bachelor,
Faculty of Mathematics, Computer Science and Statistics, Ludwig-Maximilians-Universität München.
[PDF, 463kB]
| Item Type: | LMU Munich: Thesis |
|---|---|
| Faculties: | Mathematics, Computer Science and Statistics > Mathematics Mathematics, Computer Science and Statistics > Computer Science |
| Institut or Department: | Institut für Informatik |
| Subjects: | 000 Computer science, information and general works > 000 Computer science, knowledge, and systems |
| URN: | urn:nbn:de:bvb:19-epub-129556-5 |
| Language: | English |
| Item ID: | 129556 |
| Date Deposited: | 29. Dec 2025 10:14 |
| Last Modified: | 29. Dec 2025 17:17 |
Actions (login required)
- View Item
