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 | + | booktitle = {Proceedings of the 20th International Conference on Rewriting Techniques and Applications}, |
| − | publisher = {Springer}, | + | publisher = {Springer-Verlag}, |
| − | series = { | + | series = {Lecture Notes in Computer Science}, |
pages = {295--304}, | pages = {295--304}, | ||
year = 2009, | year = 2009, | ||
| − | volume = 5595 | + | volume = 5595 |
| − | |||
} | } | ||
</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
- BibtexAuthor : 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
