Provably total functions of Basic Arithmetic.

Published in: Math. Log. Q. (2003)

Keyphrases

arithmetic operations
database
real time
real world
genetic algorithm
social networks
information systems
optimal solution
preprocessing
probabilistic model
scheduling problem