Applications of Cut-Free Infinitary Derivations to Generalized Recursion Theory.

Arnold Beckmann Wolfram Pohlers

Published in: Ann. Pure Appl. Log. (1998)

Keyphrases

computational model
theoretical basis
theoretical framework
transitive closure
neural network
computer vision
video sequences
deductive databases
machine learning
image processing
website
multiscale