On Proving Termination by Innermost Termination.

Bernhard Gramlich

Published in: RTA (1996)

Keyphrases

term rewrite systems
term rewriting
rewrite systems
multi agent
active rules
real world
artificial intelligence
high level
type checking