The Complexity of the Equivalence Problem for Simple Programs.

Eitan M. Gurari Oscar H. Ibarra

Published in: J. ACM (1981)

Keyphrases

multiscale
neural network
image processing
search algorithm
computational complexity
computational cost
provably correct
databases
high level
database systems
evolutionary algorithm
mobile robot
highly reliable