Persistence of Termination for Term Rewriting Systems with Ordered Sorts.

Published in: Artificial Intelligence and Applications (2005)

Keyphrases

term rewriting systems
logic programs
functional programs
logic programming
artificial intelligence
rewrite systems
databases
data structure
data warehouse
distributed environment
deductive databases
active rules