Characterizations of semicomputable sets of real numbers.

Bo Xie Ming Quan Fu Jeffery I. Zucker

Published in: J. Log. Algebraic Methods Program. (2015)

Keyphrases

real numbers
fuzzy numbers
linear inequalities
interval arithmetic
arithmetic operations
quantifier free
ordered fuzzy numbers
acyclic database schemes
data sets
genetic algorithm
social networks
expert systems
constraint propagation