Réécriture en présence de choix probabilistes - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 2002

Réécriture en présence de choix probabilistes

Abstract

Ce travail présente une étude de la logique de réécriture en présence de choix probabilistes.
Not file

Dates and versions

inria-00100886 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00100886 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More