Limit lemmas and jump inversion in the enumeration degrees.

Evan J. Griffiths

Published in: Arch. Math. Log. (2003)

Keyphrases

search space
theorem proving
multiresolution
denoising
image reconstruction
theorem prover
database
databases
high level
bayesian networks
exhaustive search