An Independence Result on Weak Second Order Bounded Arithmetic.

Published in: Math. Log. Q. (2001)

Keyphrases

databases
artificial intelligence
computer vision
database systems
special case
neural network
hidden markov models
mobile robot
high order