Continuing the Quest for a Logic Capturing Polynomial Time - Potential, Limitations, and Interplay of Current Approaches

zu Verbundenen Objekten

Weitere Titel
Die Suche nach einer Polynomialzeit einfangenden Logik weiterführen - Potenzial, Limitierungen, und Zusammenspiel der derzeitigen Ansätze
Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
Darmstadt, Technische Universität Darmstadt, Dissertation, 2023

Schlagwort
Logik

Ereignis
Veröffentlichung
(wo)
Darmstadt
(wer)
Universitäts- und Landesbibliothek
(wann)
2023
Urheber
Beteiligte Personen und Organisationen

DOI
10.26083/tuprints-00024244
URN
urn:nbn:de:tuda-tuprints-242443
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:54 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

Entstanden

  • 2023

Ähnliche Objekte (12)

A fragment of dependence logic capturing polynomial time

A fragment of dependence logic capturing polynomial time

Capturing Polynomial Time and Logarithmic Space using Modular Decompositions and Limited Recursion

Capturing Polynomial Time and Logarithmic Space using Modular Decompositions and Limited Recursion

Continuing Violation

Continuing Violation

Capturing the Zero

Capturing the Zero

Capturing the whole

Capturing the whole

Capturing a language

Aufsatz

Capturing a language

Polynomial convexity

Polynomial convexity

Polynomial mappings

Polynomial mappings

Capturing parallel performance dynamics

Hochschulschrift

Capturing parallel performance dynamics

Milein Cosman: capturing time

Biografie

Milein Cosman: capturing time

Capturing Sheep With Minecraft

Capturing Sheep With Minecraft

USA: Recovery continuing

Artikel

USA: Recovery continuing

Verbundene Objekte