CoLoR : a Coq library on rewriting and termination

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Samenvatting

Coq is a tool allowing to certify proofs. This paper describes a Coq library for certifying termination proofs.
Originele taal-2Engels
TitelProceedings Eighth International Workshop on Termination (WST 2006, Seattle WA, USA, August 15-16, 2006)
RedacteurenA. Geser, H. Sondergaard
Pagina's69-73
StatusGepubliceerd - 2006

Citeer dit

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 (editors), Proceedings Eighth International Workshop on Termination (WST 2006, Seattle WA, USA, August 15-16, 2006) (blz. 69-73)