Continuing the Quest for a Logic Capturing Polynomial Time - Potential, Limitations, and Interplay of Current Approaches
- Alternative title
-
Die Suche nach einer Polynomialzeit einfangenden Logik weiterführen - Potenzial, Limitierungen, und Zusammenspiel der derzeitigen Ansätze
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Darmstadt, Technische Universität Darmstadt, Dissertation, 2023
- Keyword
-
Logik
- Event
-
Veröffentlichung
- (where)
-
Darmstadt
- (who)
-
Universitäts- und Landesbibliothek
- (when)
-
2023
- Creator
- Contributor
- DOI
-
10.26083/tuprints-00024244
- URN
-
urn:nbn:de:tuda-tuprints-242443
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:54 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Lichter, Moritz
- Schweitzer, Pascal
- Otto, Martin
- Grohe, Martin
- Universitäts- und Landesbibliothek
Time of origin
- 2023
Other Objects (12)
A fragment of dependence logic capturing polynomial time
Capturing Polynomial Time and Logarithmic Space using Modular Decompositions and Limited Recursion
Continuing Violation
Polynomial convexity
Polynomial mappings
Capturing the Zero
Capturing the whole
Capturing a language
USA: Recovery continuing
The Continuing Crisis.
Polynomial representations of GrT, simple polynomial modules and polynomial parts of Auslander-Reiten components
Capturing Sheep With Minecraft
A fragment of dependence logic capturing polynomial time
Capturing Polynomial Time and Logarithmic Space using Modular Decompositions and Limited Recursion
Continuing Violation
Polynomial convexity
Polynomial mappings
Capturing the Zero
Capturing the whole
Capturing a language
USA: Recovery continuing
The Continuing Crisis.
Polynomial representations of GrT, simple polynomial modules and polynomial parts of Auslander-Reiten components
Capturing Sheep With Minecraft
A fragment of dependence logic capturing polynomial time
Capturing Polynomial Time and Logarithmic Space using Modular Decompositions and Limited Recursion
Continuing Violation
Polynomial convexity
Polynomial mappings
Capturing the Zero
Capturing the whole
Capturing a language
USA: Recovery continuing
The Continuing Crisis.
Polynomial representations of GrT, simple polynomial modules and polynomial parts of Auslander-Reiten components