On the Constructive Dedekind Reals: Extended Abstract.

Robert S. Lubarsky Michael Rathjen

Published in: LFCS (2007)

Keyphrases

extended abstract
constraint databases
computer vision
decision trees
similarity measure
computational complexity
multi class
concept class