Difference between revisions of "Bibtex:KSZM09"

From Termination-Portal.org
Jump to navigationJump to search
 
(2 intermediate revisions by the same user not shown)
Line 7: Line 7:
 
   author        = {Martin Korp and Christian Sternagel and Harald Zankl and Aart Middeldorp},
 
   author        = {Martin Korp and Christian Sternagel and Harald Zankl and Aart Middeldorp},
 
   title        = {Tyrolean Termination Tool 2},  
 
   title        = {Tyrolean Termination Tool 2},  
   booktitle    = {Proceedings RTA '09},
+
   booktitle    = {Proceedings of the 20th International Conference on Rewriting Techniques and Applications},
   publisher    = {Springer},
+
   publisher    = {Springer-Verlag},
   series        = {LNCS},
+
   series        = {Lecture Notes in Computer Science},
 
   pages        = {295--304},
 
   pages        = {295--304},
 
   year          = 2009,
 
   year          = 2009,
   volume        = 5595,
+
   volume        = 5595
  note          = {To appear.}
 
 
}
 
}
 
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
 
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->

Latest revision as of 14:29, 18 May 2009

BibTex

Martin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp - Tyrolean Termination Tool 2

Proceedings of the 20th International Conference on Rewriting Techniques and Applications 5595:295--304,2009
Bibtex
Author : Martin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp
Title : Tyrolean Termination Tool 2
In : Proceedings of the 20th International Conference on Rewriting Techniques and Applications -
Address :
Date : 2009