Bibtex:CoLoR06

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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>