Login / Signup
Termination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational Complexity
Georg Moser
Andreas Schnabl
Published in:
CoRR (2011)
Keyphrases
</>
integrating multiple
decision problems
theoretical framework
pairwise
logical framework
theorem prover
lightweight
worst case
computational cost
real time
computational complexity
video sequences
similarity measure
artificial intelligence
information retrieval
neural network
data sets