| |
| 1994 | ||
|---|---|---|
| 2 | Pascal Manoury, Marianna Simonot: Automatizing Termination Proofs of Recursively Defined Functions. Theor. Comput. Sci. 135(2): 319-343 (1994) | |
| 1992 | ||
| 1 | Pascal Manoury, Michel Parigot, Marianna Simonot: ProPre A Programming Language with Proofs. LPAR 1992: 484-486 | |
| 1 | Pascal Manoury | [1] [2] |
| 2 | Michel Parigot | [1] |