Intuitionistically provable recursive well-orderings.

Harvey M. Friedman Andre Scedrov

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

Keyphrases

real time
face recognition
neural network
search engine
artificial neural networks
fuzzy logic
recursive queries
recursive functions
iterative refinement