Equivalences of Rewrite Programs.

Chilukuri K. Mohan

Published in: CTRS (1990)

Keyphrases

connected components
genetic algorithm
intermediate level
learning algorithm
high level
automatic programming
java programs
image processing
probabilistic model
relational algebra
answer sets
computer programs