Difference between revisions of "Bibtex:CoLoR06"
From Termination-Portal.org
Jump to navigationJump to search(No difference)
|
Revision as of 02:01, 14 May 2009
BibTex
F. Blanqui, S. Coupet-Grimal, W. Delobel, S. Hinderer, A. Koprowski - {CoLoR}: a {C}oq {L}ibrary on {R}ewriting and termination
- Proceedings of the 8th International Workshop on Termination (WST) ,2006
- BibtexAuthor : F. Blanqui, S. Coupet-Grimal, W. Delobel, S. Hinderer, A. Koprowski
Title : {CoLoR}: a {C}oq {L}ibrary on {R}ewriting and termination
In : Proceedings of the 8th International Workshop on Termination (WST) -
Address :
Date : 2006