Bibtex:Luc04

From Termination-Portal.org
Revision as of 11:40, 19 May 2009 by Rgutierrez (talk | contribs) (→‎BibTex)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

BibTex

S. Lucas - MU-TERM: A Tool for Proving Termination of Context-Sensitive Rewriting

Proc. of 15th International Conference on Rewriting Techniques and Applications, RTA'04 3091:200-209, Aachen, Germany,2004
Bibtex
Author : S. Lucas
Title : MU-TERM: A Tool for Proving Termination of Context-Sensitive Rewriting
In : Proc. of 15th International Conference on Rewriting Techniques and Applications, RTA'04 -
Address : Aachen, Germany
Date : 2004