Login / Signup
Parallel Computational Tree Logic.
Andreas Krebs
Arne Meier
Jonni Virtema
Published in:
CoRR (2015)
Keyphrases
</>
tree structure
parallel processing
index structure
modal logic
parallel implementation
computational power
hierarchical structure
massively parallel
knowledge base
database systems
r tree
tree structures
binary tree
computational properties
tree models