Provably recursive real numbers.

William J. Collins

Published in: Notre Dame J. Formal Log. (1978)

Keyphrases

real numbers
linear inequalities
fuzzy numbers
interval arithmetic
arithmetic operations
recursive algorithm
constraint solver
database
artificial intelligence
recursive functions
search engine
datalog programs
dead end