From Termination-Portal.org
|
|
| 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/}}} | | NOTE = {\url{http://color.inria.fr/}}} |
| </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. --> |
Revision as of 02:02, 14 May 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,
NOTE = {\url{http://color.inria.fr/}}}
</bibtex>
