Provably Total Functions of Intuitionistic Bounded Arithmetic.

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

Keyphrases

search algorithm
worst case
basis functions
fuzzy set theory
continuous functions
arithmetic operations
linear logic
neural network
data mining
website
multi agent