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)
Blanqui, F. ; Coupet-Grimal, S. ; Delobel, W. ; Hinderer, S. ; Koprowski, A. / CoLoR : a Coq library on rewriting and termination. Proceedings Eighth International Workshop on Termination (WST 2006, Seattle WA, USA, August 15-16, 2006). editor / A. Geser ; H. Sondergaard. 2006. pp. 69-73
@inproceedings{828b8ebd5afd4c778e4aa4167f492d20,
title = "CoLoR : a Coq library on rewriting and termination",
abstract = "Coq is a tool allowing to certify proofs. This paper describes a Coq library for certifying termination proofs.",
author = "F. Blanqui and S. Coupet-Grimal and W. Delobel and S. Hinderer and A. Koprowski",
year = "2006",
language = "English",
pages = "69--73",
editor = "A. Geser and H. Sondergaard",
booktitle = "Proceedings Eighth International Workshop on Termination (WST 2006, Seattle WA, USA, August 15-16, 2006)",

}

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.

CoLoR : a Coq library on rewriting and termination. / Blanqui, F.; Coupet-Grimal, S.; Delobel, W.; Hinderer, S.; Koprowski, A.

Proceedings Eighth International Workshop on Termination (WST 2006, Seattle WA, USA, August 15-16, 2006). ed. / A. Geser; H. Sondergaard. 2006. p. 69-73.

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

TY - GEN

T1 - CoLoR : a Coq library on rewriting and termination

AU - Blanqui, F.

AU - Coupet-Grimal, S.

AU - Delobel, W.

AU - Hinderer, S.

AU - Koprowski, A.

PY - 2006

Y1 - 2006

N2 - Coq is a tool allowing to certify proofs. This paper describes a Coq library for certifying termination proofs.

AB - Coq is a tool allowing to certify proofs. This paper describes a Coq library for certifying termination proofs.

M3 - Conference contribution

SP - 69

EP - 73

BT - Proceedings Eighth International Workshop on Termination (WST 2006, Seattle WA, USA, August 15-16, 2006)

A2 - Geser, A.

A2 - Sondergaard, H.

ER -

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