Proving Associative-Communicative Termination Using RPO-Compatible Orderings.

Deepak Kapur G. Sivakumar

Published in: FTP (LNCS Selection) (1998)

Keyphrases

term rewrite systems
language learning
databases
associative memory
spreading activation
term rewriting
genetic algorithm
image sequences
lower bound
rewrite rules
human memory
termination analysis