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 proceeding › Conference contribution › Academic

Abstract

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

Original language	English
Title of host publication	Proceedings Eighth International Workshop on Termination (WST 2006, Seattle WA, USA, August 15-16, 2006)
Editors	A. Geser, H. Sondergaard
Pages	69-73
Publication status	Published - 2006

@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)",

}

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 -