most citedCoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates

47 citations · 47 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2012★ 47 cited

CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates

Frédéric Blanqui, Adam Koprowski

Termination is an important property of programs; notably required for programs formulated in proof assistants. It is a very active subject of research in the Turing-complete forma…