Fundamental notions of analysis in subsystems of second-order arithmetic.

Jeremy Avigad Ksenija Simic

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

Keyphrases

image analysis
higher order
real time
neural network
artificial intelligence
computer vision
information systems
image processing
digital libraries
relational databases
automatic analysis
numerical analysis