KIT | KIT-Bibliothek | Impressum | Datenschutz

Capturing the Computational Complexity of Geometric Problems by the First-Order Theory of the Reals

Jungeblut, Paul ORCID iD icon 1
1 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)


Volltext §
DOI: 10.5445/IR/1000170385
Veröffentlicht am 03.05.2024
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Hochschulschrift
Publikationsdatum 03.05.2024
Sprache Englisch
Identifikator KITopen-ID: 1000170385
Verlag Karlsruher Institut für Technologie (KIT)
Umfang v, 127 S.
Art der Arbeit Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Theoretische Informatik (ITI)
Prüfungsdatum 26.04.2024
Referent/Betreuer Ueckerdt, Torsten
Schaefer, Marcus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page