The Equivalence Problem of Simple Programs.

Dennis Tsichritzis

Published in: J. ACM (1970)

Keyphrases

real time
databases
information retrieval
learning algorithm
knowledge base
case study
bayesian networks
finite state machines
highly reliable
provably correct
tree traversal