The strength of replacement in weak arithmetic.

Stephen A. Cook Neil Thapen

Published in: ACM Trans. Comput. Log. (2006)

Keyphrases

real time
arithmetic operations
decision making
website
decision trees
multiresolution
hidden markov models
response time