Mona: Decidable Arithmetic in Practice.

Morten Biehl Nils Klarlund Theis Rauhe

Published in: FTRTFT (1996)

Keyphrases

real time
neural network
multiscale
database
information retrieval
relational databases
arithmetic operations