ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "pspace complete"
pspace complete
Publikace
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
publication
Online Chromatic Number is PSPACE-Complete
+1
2018 |
Matematicko-fyzikální fakulta
publication
Graph sharing games: Complexity and connectivity
2013 |
Matematicko-fyzikální fakulta
publication
The decision problem of provability logic with only one atom
2003 |
Filozofická fakulta
publication
The complete classification for quantified equality constraints
+2
2023 |
Matematicko-fyzikální fakulta
publication
On the polynomial-space completeness of intuitionistic propositional logic
2003 |
Filozofická fakulta
publication
QCSP Monsters and the Demise of the Chen Conjecture
2022 |
Matematicko-fyzikální fakulta
publication
Subset Synchronization and Careful Synchronization of Binary Finite Automata
2016 |
Matematicko-fyzikální fakulta
publication
Subset Synchronization of Transitive Automata
2014 |
Matematicko-fyzikální fakulta
publication
Subset Synchronizability in Eulerian Automata Is NP-Hard
2014 |
Matematicko-fyzikální fakulta
publication
The guarding game is E-complete
2014 |
Matematicko-fyzikální fakulta
publication
Complexity of the cop and robber guarding game
2011 |
Matematicko-fyzikální fakulta
publication
Pattern-Based Verification for Multithreaded Programs
2014 |
Matematicko-fyzikální fakulta