Calculating-Confluence Compositionally.

Gordon J. Pace Frédéric Lang Radu Mateescu

Published in: CAV (2003)

Keyphrases

rewrite systems
neural network
genetic algorithm
computer vision
decision making
training data