Termination Proofs and Complexity Certification.

Published in: TACS (2001)

Keyphrases

computational complexity
worst case
databases
neural network
genetic algorithm
case study
decision problems
theorem prover
rewrite systems
data mining
online learning
space complexity