Actualités 215.html
Confluence - Définition
Wed, 12 Mar 2025 17:00:00 GMT
La confluence d'un système de réécriture est définie comme la propriété suivante : Pour tous termes M,M 1,M 2 tels que et , il existe M' tel que et . La confluence est trivialement équivalente à la ...