Login / Signup
Termination Proof of S-Expression Rewriting Systems with Recursive Path Relations.
Yoshihito Toyama
Published in:
RTA (2008)
Keyphrases
</>
rewriting systems
rewriting rules
shortest path
databases
theorem prover