Arithmetic of Dedekind cuts of ordered Abelian groups.

Antongiulio Fornasiero Marcello Mamino

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

Keyphrases

floating point
mobile robot
partially ordered
database
real time
data sets
information retrieval
learning algorithm
database systems
special case
logic programs
real numbers
arithmetic operations
ordered sets