Reducing AC-Termination to Termination.

Maria C. F. Ferreira Delia Kesner Laurence Puel

Published in: MFCS (1998)

Keyphrases

rewrite systems
term rewriting
neural network
high level
video sequences
termination analysis
term rewrite systems
real world
genetic algorithm
computer vision
artificial neural networks
management system
constraint satisfaction
active rules