From Termination-Portal.org
|
|
| (One intermediate revision by the same user not shown) |
| Line 6: |
Line 6: |
| @INPROCEEDINGS{blanqui06wst-color, | | @INPROCEEDINGS{blanqui06wst-color, |
| AUTHOR = {F. Blanqui and S. Coupet-Grimal and W. Delobel and S. Hinderer and A. Koprowski}, | | AUTHOR = {F. Blanqui and S. Coupet-Grimal and W. Delobel and S. Hinderer and A. Koprowski}, |
| TITLE = {{CoLoR}: a {C}oq {L}ibrary on {R}ewriting and termination}, | | TITLE = {CoLoR: a Coq Library on Rewriting and termination}, |
| BOOKTITLE = {Proceedings of the 8th International Workshop on Termination (WST)}, | | BOOKTITLE = {Proceedings of the 8th International Workshop on Termination (WST)}, |
| YEAR = 2006, | | YEAR = 2006, |
| NOTE = {\url{http://color.inria.fr/}}}
| | url = {http://www-rocq.inria.fr/~blanqui/wst06color-pdf.html}} |
| </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 07:12, 3 June 2009
BibTex
<bibtex>
@INPROCEEDINGS{blanqui06wst-color,
AUTHOR = {F. Blanqui and S. Coupet-Grimal and W. Delobel and S. Hinderer and A. Koprowski},
TITLE = {CoLoR: a Coq Library on Rewriting and termination},
BOOKTITLE = {Proceedings of the 8th International Workshop on Termination (WST)},
YEAR = 2006,
url = {http://www-rocq.inria.fr/~blanqui/wst06color-pdf.html}}
</bibtex>
