Difference between revisions of "Bibtex:Luc04"

From Termination-Portal.org
Jump to navigationJump to search
(New page: <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> ...)
(No difference)

Revision as of 11:15, 19 May 2009

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
Bibtex
Author : 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
Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Bibtex:Luc04&oldid=811"