Réécriture en présence de choix probabilistes
Résumé
Ce travail présente une étude de la logique de réécriture en présence de choix probabilistes.
Rapport
Année : 2002
Publications Loria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00100886
Soumis le : mardi 26 septembre 2006-14:52:41
Dernière modification le : vendredi 24 mars 2023-14:52:48
Dates et versions
Identifiants
- HAL Id : inria-00100886 , version 1
Citer
Mathieu Hoyrup. Réécriture en présence de choix probabilistes. [Stage] A02-R-424 || hoyrup02a, 2002. ⟨inria-00100886⟩
47
Consultations
0
Téléchargements