Login / Signup
On the Complexity of Branching-Time Logics.
Volker Weber
Published in:
CSL (2009)
Keyphrases
</>
knowledge base
epistemic logic
temporal logic
modal logic
computational complexity
neural network
data mining
data sets
expressive power
data model
high computational complexity
inference rules
decision problems
model checking
worst case
search algorithm
video sequences
computer vision
real world
databases