Countable Valued Fields in Weak Subsystems of Second-Order Arithmetic.

Kostas Hatzikiriakou Stephen G. Simpson

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

Keyphrases

higher order
computer science
high order
databases
neural network
real world
information retrieval
computer vision
information systems
e learning
website
image sequences
similarity measure
data structure
video sequences
markov chain