PCF Extended with Real Numbers.

Martín Hötzel Escardó

Published in: Theor. Comput. Sci. (1996)

Keyphrases

real numbers
arithmetic operations
interval arithmetic
linear inequalities
classification method
fuzzy numbers
constraint solver
databases
data mining
search engine
expert systems
constraint programming