û\lfloor a/m\rfloor in sharply bounded arithmetic.

Mitsuru Tada Makoto Tatsuta

Published in: Arch. Math. Log. (1997)

Keyphrases

case study
arithmetic operations
database
search algorithm
expert systems
special case
hidden markov models
asymptotically optimal
pipelined architecture