Note on the Fan Theorem.

A. S. Troelstra

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

Keyphrases

von neumann
databases
onset detection
real time
decision making
viewpoint
image analysis
data model
hidden markov models
scheduling problem
fixed point