Formalizing Monotone Algebras for Certification of Termination and Complexity Proofs.

Christian Sternagel René Thiemann

Published in: RTA-TLCA (2014)

Keyphrases

databases
real time
upper bound
decision problems
space complexity
case study
computational complexity
third party
neural network
bayesian networks
computational cost
uniform distribution
complexity analysis