Logo Logo
Exportieren als [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Anzahl der Publikationen: 1

LMU München: Studienabschlussarbeit

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]

Diese Liste wurde am Sun Jan 4 02:28:44 2026 CET erstellt.