Difference between revisions of "Bibtex:CoLoR06"

From Termination-Portal.org
Jump to navigationJump to search
 
Line 9: Line 9:
 
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

F. Blanqui, S. Coupet-Grimal, W. Delobel, S. Hinderer, A. Koprowski - CoLoR: a Coq Library on Rewriting and termination

Proceedings of the 8th International Workshop on Termination (WST) ,2006
http://www-rocq.inria.fr/~blanqui/wst06color-pdf.html
Bibtex
Author : F. Blanqui, S. Coupet-Grimal, W. Delobel, S. Hinderer, A. Koprowski
Title : CoLoR: a Coq Library on Rewriting and termination
In : Proceedings of the 8th International Workshop on Termination (WST) -
Address :
Date : 2006