Signature Extensions Preserve Termination - An Alternative Proof via Dependency Pairs.

Christian Sternagel René Thiemann

Published in: CSL (2010)

Keyphrases

term rewrite systems
presburger arithmetic
expert systems
signature verification
dependency relations
databases
linear logic
image sequences
theorem prover