Termination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational Complexity.

Georg Moser Andreas Schnabl

Published in: RTA (2011)

Keyphrases

main contribution
real time
upper bound
worst case
database
data sets
databases
neural network
data mining
machine learning
information retrieval
multi agent
computational complexity
pairwise
knowledge representation
multiple objects