Jump to content

Bibtex:CoLoR06

From Termination-Portal.org
Revision as of 07:12, 3 June 2009 by Blanqui (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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>

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Bibtex:CoLoR06&oldid=833"