Unary Coded PSPACE-Complete Languages in ASPACE(loglog n).

Published in: Theory Comput. Syst. (2019)

Keyphrases

pspace complete
np complete
model checking
satisfiability problem
decision problems
exptime complete
strips planning
expressive power
temporal logic
tree automata
np hard
causal graph
grammatical inference
databases
query language