Arithmetical independence results using higher recursion theory.

Andrew P. Arana

Published in: J. Symb. Log. (2004)

Keyphrases

theoretical framework
complex objects
real time
theoretical basis
general theory
formal theory
databases
computer vision
information systems
three dimensional
video sequences
relational databases
information theory
significantly higher