Bibtex:Luc04
From Termination-Portal.org
BibTex
Lucas, S. - 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
- BibtexAuthor : Lucas, S.
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