Extending Context-Sensitivity in Term Rewriting

Bernhard Gramlich Felix Schernhammer

Published in: WRS (2009)

Keyphrases

term rewriting
theorem proving
contextual information
data sets
theorem prover
operational semantics
rewrite systems
logic programs
context aware