Logo Logo
[höher] Eine Ebene höher
Exportieren als [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Springe zu: 2023
Anzahl der Publikationen: 1

2023

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.

Open Access LMU verwendet EPrints 3, das an der School of Electronics and Computer Science der Universität Southampton entwickelt wurde.
Impressum − Datenschutz