CoLoR : a Coq library on rewriting and termination

F. Blanqui, S. Coupet-Grimal, W. Delobel, S. Hinderer, A. Koprowski

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Abstract

Coq is a tool allowing to certify proofs. This paper describes a Coq library for certifying termination proofs.
Original languageEnglish
Title of host publicationProceedings Eighth International Workshop on Termination (WST 2006, Seattle WA, USA, August 15-16, 2006)
EditorsA. Geser, H. Sondergaard
Pages69-73
Publication statusPublished - 2006

Cite this

Blanqui, F., Coupet-Grimal, S., Delobel, W., Hinderer, S., & Koprowski, A. (2006). CoLoR : a Coq library on rewriting and termination. In A. Geser, & H. Sondergaard (Eds.), Proceedings Eighth International Workshop on Termination (WST 2006, Seattle WA, USA, August 15-16, 2006) (pp. 69-73)