A decomposition of Brouwer's fan theorem.

Published in: J. Log. Anal. (2009)

Keyphrases

fixed point theorem
decomposition algorithm
fixed point
real time
boundary conditions
database
decision making
decision trees
case study
similarity measure
decomposition method