Capturing the Computational Complexity of Geometric Problems by the First-Order Theory of the Reals
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Karlsruhe, Karlsruher Institut für Technologie (KIT), Dissertation, 2024
- Schlagwort
-
Berechnungskomplexität
- Ereignis
-
Veröffentlichung
- (wo)
-
Karlsruhe
- (wer)
-
KIT-Bibliothek
- (wann)
-
2024
- Urheber
-
Jungeblut, Paul
- Beteiligte Personen und Organisationen
-
Ueckerdt, Torsten
Schaefer, Marcus
- DOI
-
10.5445/IR/1000170385
- URN
-
urn:nbn:de:101:1-2405080458161.223630195207
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:48 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Jungeblut, Paul
- Ueckerdt, Torsten
- Schaefer, Marcus
- KIT-Bibliothek
Entstanden
- 2024
Ähnliche Objekte (12)
Complexity of counting first-order logic for the subword order
Alternating complexity of counting first-order logic for the subword order
The parameterized space complexity of model-checking bounded variable first-order logic
Natural geometric quantization of first-order field theories
Capturing the whole
Capturing the Zero
On the complexity of measuring the similarity between geometric objects in higher dimensions
On the complexity of measuring the similarity between geometric objects in higher dimensions
Modern mathematical tools and techniques in capturing complexity
Africa junctions : capturing the city
Complexity-reduction by first-order approximation of non-linear kinetics
Complexity-reduction by first-order approximation of non-linear kinetics
Complexity of counting first-order logic for the subword order
Alternating complexity of counting first-order logic for the subword order
The parameterized space complexity of model-checking bounded variable first-order logic
Natural geometric quantization of first-order field theories
Capturing the whole
Capturing the Zero
On the complexity of measuring the similarity between geometric objects in higher dimensions
On the complexity of measuring the similarity between geometric objects in higher dimensions
Modern mathematical tools and techniques in capturing complexity
Africa junctions : capturing the city
Complexity-reduction by first-order approximation of non-linear kinetics
Complexity-reduction by first-order approximation of non-linear kinetics
Complexity of counting first-order logic for the subword order
Alternating complexity of counting first-order logic for the subword order
The parameterized space complexity of model-checking bounded variable first-order logic
Natural geometric quantization of first-order field theories
Capturing the whole
Capturing the Zero
On the complexity of measuring the similarity between geometric objects in higher dimensions
On the complexity of measuring the similarity between geometric objects in higher dimensions
Modern mathematical tools and techniques in capturing complexity
Africa junctions : capturing the city
Complexity-reduction by first-order approximation of non-linear kinetics