On the Complexity of Hybrid Logics with Binders.

Balder ten Cate Massimo Franceschet

Published in: CSL (2005)

Keyphrases

computational complexity
search engine
higher order
expressive power
decision problems
space complexity
database
real time
neural network
computer vision
case study
database systems
lower bound
computational cost
high computational complexity