Confluence of Curried Term-Rewriting Systems.

Published in: J. Symb. Comput. (1995)

Keyphrases

term rewriting systems
logic programs
functional programs
rewrite systems
update operators
database
artificial intelligence
database systems
data structure
simulated annealing
data types