Proofs, Programs and Abstract Complexity.

Arnold Beckmann

Published in: CSL (2007)

Keyphrases

computer programs
high level
data sets
worst case
artificial intelligence
special case
formal proofs
formal proof
provably correct
intermediate level
np complete
higher level
computational cost
hidden markov models
relational databases
expert systems
computational complexity