Article Dans Une Revue
SIAM Journal on Computing
Année : 1987
Irene Guessarian : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00020889
Soumis le : jeudi 16 mars 2006-10:26:02
Dernière modification le : vendredi 24 mars 2023-14:52:47
Dates et versions
Identifiants
- HAL Id : hal-00020889 , version 1
Citer
Irene Guessarian, J. Meseguer. On the Axiomatisation of ``IF...THEN...ELSE". SIAM Journal on Computing, 1987, 16, pp.332-357. ⟨hal-00020889⟩
Collections
13
Consultations
0
Téléchargements