Predicative fragments of Frege Arithmetic.

Øystein Linnebo

Published in: Bull. Symb. Log. (2004)

Keyphrases

arithmetic operations
real time
floating point
horizontal fragmentation
databases
data mining
website
three dimensional
preprocessing
special case