Termination of Simply Typed Term Rewriting by Translation and Labelling.

Takahito Aoto Toshiyuki Yamada

Published in: RTA (2003)

Keyphrases

term rewriting
rewrite systems
theorem proving
theorem prover
operational semantics
knuth bendix
higher order
machine translation
database
cross language information retrieval
life cycle
query translation
database systems
cross language
lambda calculus