Injecting uniformities into Peano arithmetic.

Fernando Ferreira

Published in: Ann. Pure Appl. Log. (2009)

Keyphrases

arithmetic operations
floating point
databases
data model
interval arithmetic
data sets
image sequences
pattern recognition
cellular automata
real numbers
space filling curves