Difference between revisions of "Bibtex:Luc04"
From Termination-Portal.org
Jump to navigationJump to searchRgutierrez (talk | contribs) (New page: <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> ...) |
Rgutierrez (talk | contribs) (→BibTex) |
||
| Line 6: | Line 6: | ||
@inproceedings{Luc04, | @inproceedings{Luc04, | ||
author = {Lucas, S.}, | author = {Lucas, S.}, | ||
| − | title = | + | title = {MU-TERM: A Tool for Proving Termination of |
| − | Context-Sensitive Rewriting | + | Context-Sensitive Rewriting}, |
| − | booktitle = {Proc. | + | booktitle = {Proc. of 15th International Conference on Rewriting |
Techniques and Applications, RTA'04}, | Techniques and Applications, RTA'04}, | ||
editor = {Oostrom, V. van}, | editor = {Oostrom, V. van}, | ||
Revision as of 11:16, 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
- BibtexAuthor : Lucas, S.
Title : MU-TERM: A Tool for Proving Termination ofContext-Sensitive Rewriting
Techniques and Applications, RTA'04 -
In : Proc. of 15th International Conference on Rewriting
Address : Aachen, Germany
Date : 2004
