|
 
|
[MS01] An ordinal measure based procedure for termination of functions
Revue Internationale avec comité de lecture : Journal Theoretical computer Science, vol. 254, 2001
motcle:
BibTeX
| @article { | |||
| MS01, | |||
| title | = | "{An ordinal measure based procedure for termination of functions}", | |
| author | = | "F. Monin and M. Simonot", | |
| journal | = | "Theoretical computer Science", | |
| year | = | 2001, | |
| volume | = | 254, | |
| } | |||
