Proving termination of membership equational programs.

Francisco Durán Salvador Lucas José Meseguer Claude Marché Xavier Urbain

Published in: PEPM (2004)

Keyphrases

term rewrite systems
theorem proving
automatic programming
term rewriting
computer programs
theorem prover
fixpoint
control structures
prolog programs
database
genetic algorithm
answer sets
rewrite systems
equational theories