| |
| 1995 | ||
|---|---|---|
| 2 | François Leclerc: Termination Proof of Term Rewriting System with the Multiset Path Ordering. A Complete Development in the System Coq. TLCA 1995: 312-327 | |
| 1993 | ||
| 1 | François Leclerc, Christine Paulin-Mohring: Programming with Streams in Coq - A Case Study: the Sieve of Eratosthenes. TYPES 1993: 191-212 | |
| 1 | Christine Paulin-Mohring | [1] |