Dependency Pairs for Simply Typed Term Rewriting.

Takahito Aoto Toshiyuki Yamada

Published in: RTA (2005)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
higher order
rewrite systems
dependency relations
knuth bendix
pairwise
lambda calculus
computational intelligence
first order logic
semantic relations
inference rules