Login / Signup
Termination and Confluence of Higher-Order Rewrite Systems
Frédéric Blanqui
Published in:
CoRR (2006)
Keyphrases
</>
rewrite systems
higher order
term rewriting
quantifier free
active rules
knuth bendix
pairwise
theorem prover
theorem proving
operational semantics
software development
data management