Defining and reasoning about recursive functions: a practical tool for the coq proof assistant (2006)
Cached
Download Links
- [www-sop.inria.fr]
- [www.irisa.fr]
- [www.irisa.fr]
- DBLP
Other Repositories/Bibliography
by
Gilles Barthe
,
Julien Forest
,
David Pichardie
,
Vlad Rusu
| Venue: | In Functional and Logic Programming (FLOPS’06), LNCS 3945 |
| Citations: | 14 - 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 |
