Difference between revisions of "Bibtex:Luc04"

From Termination-Portal.org
Jump to navigationJump to search
Line 6: Line 6:
 
@inproceedings{Luc04,
 
@inproceedings{Luc04,
 
     author = {Lucas, S.},
 
     author = {Lucas, S.},
     title = {MU-TERM: A Tool for Proving Termination of
+
     title = {MU-TERM: A Tool for Proving Termination of Context-Sensitive Rewriting},
                  Context-Sensitive Rewriting},
+
     booktitle = {Proc. of 15th International Conference on Rewriting Techniques and Applications, RTA'04},
     booktitle = {Proc. of 15th International Conference on Rewriting
 
                  Techniques and Applications, RTA'04},
 
 
     editor = {Oostrom, V. van},
 
     editor = {Oostrom, V. van},
 
     series = {Lecture Notes in Computer Science},
 
     series = {Lecture Notes in Computer Science},

Revision as of 11:23, 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