Ordinal notations and well-orderings in bounded arithmetic.

Arnold Beckmann Chris Pollett Samuel R. Buss

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

Keyphrases

levels of abstraction
floating point
data sets
databases
neural network
machine learning
information systems
search algorithm