Systèmes de Réécriture

Théorème de Church-Rosser

Résultat fondamental établissant l'équivalence entre confluence et existence d'une forme normale unique. Base théorique garantissant la cohérence des systèmes de calcul par réécriture.

← Wstecz