|
 
|
[MS94] Automatizing termination proofs of recursively defined functions
Revue Internationale avec comité de lecture : Journal Theoretical Computer Science, vol. 135, pp. 319 - 343, 1994
motcle:
BibTeX
| @article { | |||
| MS94, | |||
| title | = | "{ Automatizing termination proofs of recursively defined functions}", | |
| author | = | "P. Manoury and M. Simonot", | |
| journal | = | "Theoretical Computer Science", | |
| year | = | 1994, | |
| volume | = | 135, | |
| pages | = | "319 - 343", | |
| } | |||
