µ-Definable Sets of Integers.

Robert S. Lubarsky

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

Keyphrases

real numbers
databases
artificial intelligence
search algorithm
relational databases
hidden markov models
logic programs
floating point
approximation spaces