On the equational definition of the least prefixed point - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Theoretical Computer Science Année : 2003

On the equational definition of the least prefixed point

Luigi Santocanale

Dates et versions

hal-01261053 , version 1 (23-01-2016)

Identifiants

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

Altmetric

Partager

Gmail Facebook X LinkedIn More