Discontinuities of Provably Correct Operators on the Provably Recursive Real Numbers.

William J. Collins Paul Young

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

Keyphrases

real numbers
provably correct
interval arithmetic
ordered fuzzy numbers
formal methods
fuzzy numbers
situation calculus
arithmetic operations
optical flow
linear inequalities
fuzzy control
expert systems
edge detection
decision making
input output
real time
rough sets
pattern recognition
artificial intelligence