Static Slicing of Rewrite Systems.

Diego Cheda Josep Silva Germán Vidal

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

rewrite systems
term rewriting
quantifier free
knuth bendix
active rules
artificial intelligence
multi agent systems
software engineering
operational semantics
theorem proving
formal semantics