Article Dans Une Revue
Theoretical Computer Science
Année : 2003
Luigi Santocanale : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01261053
Soumis le : samedi 23 janvier 2016-11:48:33
Dernière modification le : jeudi 1 juin 2023-13:44:06
Dates et versions
Identifiants
- HAL Id : hal-01261053 , version 1
- DOI : 10.1016/S0304-3975(02)00412-7
Citer
Luigi Santocanale. On the equational definition of the least prefixed point. Theoretical Computer Science, 2003, 295 (1--3), pp.341-370. ⟨10.1016/S0304-3975(02)00412-7⟩. ⟨hal-01261053⟩
11
Consultations
0
Téléchargements