Difference between revisions of "Bibtex:CoLoR11"

From Termination-Portal.org
Jump to navigationJump to search
(Created page with " <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. -->...")
 
 
Line 6: Line 6:
 
@ARTICLE{blanqui11mscs,
 
@ARTICLE{blanqui11mscs,
 
AUTHOR = {F. Blanqui and A. Koprowski},
 
AUTHOR = {F. Blanqui and A. Koprowski},
−
TITLE = {{CoLoR}: a {Coq} library on well-founded rewrite relations and its application to the automated verification of termination certificates},
+
TITLE = {CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates},
 
JOURNAL = {Mathematical Structures in Computer Science},
 
JOURNAL = {Mathematical Structures in Computer Science},
 
YEAR = {2011},
 
YEAR = {2011},

Latest revision as of 09:12, 18 January 2011

BibTex

F. Blanqui, A. Koprowski - CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates

Mathematical Structures in Computer Science ?(?):?-?,2011
Bibtex
Author : F. Blanqui, A. Koprowski
Title : CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates
In : Mathematical Structures in Computer Science -
Address :
Date : 2011
Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Bibtex:CoLoR11&oldid=1126"