Difference between revisions of "Bibtex:Luc04"

From Termination-Portal.org
Jump to navigationJump to search
 
(One intermediate revision by the same user not shown)
Line 5: Line 5:
 
<bibtex>
 
<bibtex>
 
@inproceedings{Luc04,
 
@inproceedings{Luc04,
     author = {Lucas, S.},
+
     author = "S. Lucas",
     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
+
     editor = "V. van Oostrom",
                  Techniques and Applications, RTA'04},
+
     series = "Lecture Notes in Computer Science",
     editor = {Oostrom, V. van},
+
     volume = "3091",
     series = {Lecture Notes in Computer Science},
+
     pages = "200-209",
     volume = {3091},
+
     year = "2004",
     pages = {200--209},
+
     address = "Aachen, Germany",
     year = {2004},
+
     publisher = "Springer-Verlag"
     address = {Aachen, Germany},
+
}
     publisher = {Springer-Verlag},
+
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
    note = {Available at \url{http://zenon.dsic.upv.es/muterm/}}
 
}</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
 

Latest revision as of 11:40, 19 May 2009

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