Bibtex:CoLoR11
From Termination-Portal.org
Jump to navigationJump to searchBibTex
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
- BibtexAuthor : 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
