Login / Signup
Phutball is PSPACE-hard
Dariusz Dereniowski
Published in:
CoRR (2008)
Keyphrases
</>
temporal logic
modal logic
decision procedures
neural network
data mining
decision making
video sequences
pattern recognition
digital libraries
expert systems
computationally hard
mazurkiewicz traces