Confluence of Shallow Right-Linear Rewrite Systems.

Guillem Godoy Ashish Tiwari

Published in: CSL (2005)

Keyphrases

rewrite systems
term rewriting
quantifier free
active rules
knuth bendix
theorem proving
operational semantics
active databases
relational databases
programming language