Skip to Main content Skip to Navigation
Reports

Réécriture en présence de choix probabilistes

Mathieu Hoyrup 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Ce travail présente une étude de la logique de réécriture en présence de choix probabilistes.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00100886
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 2:52:41 PM
Last modification on : Friday, February 26, 2021 - 3:28:05 PM

Identifiers

  • HAL Id : inria-00100886, version 1

Collections

Citation

Mathieu Hoyrup. Réécriture en présence de choix probabilistes. [Stage] A02-R-424 || hoyrup02a, 2002. ⟨inria-00100886⟩

Share

Metrics

Record views

165