Hochschulschrift
Model-checking problems, machines and parameterized complexity
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
IV, 111 S.
- Sprache
-
Englisch
- Anmerkungen
-
Freiburg (Breisgau), Univ., Diss., 2004 (Nicht für den Austausch)
- Klassifikation
-
Informatik
- Schlagwort
-
Model Checking
Parametrisierte Komplexität
Komplexitätsklasse
Turing-Maschine
Halteproblem
Model-Checking ; Maschine ; Parametrische Komplexitätstheorie
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
- 11.06.2025, 13:50 MESZ
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.
Objekttyp
- Hochschulschrift
Beteiligte
Ähnliche Objekte (12)
Model-checking problems, machines and parameterized complexity
Parameterized complexity
Parameterized Complexity of Directed Spanner Problems
Parameterized complexity of constraint satisfaction problems
The parameterized space complexity of model-checking bounded variable first-order logic
Parameterized complexity theory
Parameterized model checking of rendezvous systems
Parameterized Complexity of Diameter
Parameterized Complexity of Diameter
Parameterized Complexity of Streaming Diameter and Connectivity Problems
Parameterized Complexity of Graph Burning
Classic graph problems made temporal - a parameterized complexity analysis
Model-checking problems, machines and parameterized complexity
Parameterized complexity
Parameterized Complexity of Directed Spanner Problems
Parameterized complexity of constraint satisfaction problems
The parameterized space complexity of model-checking bounded variable first-order logic
Parameterized complexity theory
Parameterized model checking of rendezvous systems
Parameterized Complexity of Diameter
Parameterized Complexity of Diameter
Parameterized Complexity of Streaming Diameter and Connectivity Problems
Parameterized Complexity of Graph Burning
Classic graph problems made temporal - a parameterized complexity analysis
Model-checking problems, machines and parameterized complexity
Parameterized complexity
Parameterized Complexity of Directed Spanner Problems
Parameterized complexity of constraint satisfaction problems
The parameterized space complexity of model-checking bounded variable first-order logic
Parameterized complexity theory
Parameterized model checking of rendezvous systems
Parameterized Complexity of Diameter
Parameterized Complexity of Diameter
Parameterized Complexity of Streaming Diameter and Connectivity Problems
Parameterized Complexity of Graph Burning