Operational termination of conditional term rewriting systems.

Salvador Lucas Claude Marché José Meseguer

Published in: Inf. Process. Lett. (2005)

Keyphrases

term rewriting systems
functional programs
logic programs
decision making
random field model
rewrite systems
databases
term rewrite systems