Defining and reasoning about recursive functions: a practical tool for the coq proof assistant (2006)

by Gilles Barthe , Julien Forest , David Pichardie , Vlad Rusu
Venue:In Functional and Logic Programming (FLOPS’06), LNCS 3945
Citations:17 - 0 self

Document Versions

Defining and reasoning about recursive functions: a practical tool for the coq proof assistant –Gilles Barthe, Julien Forest, David Pichardie, Vlad Rusu — 2006 — In Functional and Logic Programming (FLOPS’06), LNCS 3945
Defining and reasoning about recursive functions: A practical tool for the Coq proof assistant –Gilles Barthe, Julien Forest, David Pichardie, Vlad Rusu — 2006 — of Lecture Notes in Computer Science
Defining and reasoning about recursive functions: a practical tool for the coq proof assistant –Gilles Barthe, Julien Forest, David Pichardie, Vlad Rusu — 2006 — In Functional and Logic Programming (FLOPS’06), LNCS 3945