Term rewriting and All That

Franz Baader

Utilisée dans les 1 développements suivants :

Algorithme de type principal

Utilisée dans les 2 leçons suivantes :

919 (2017) Unification : algorithmes et applications.
920 (2017) Réécriture et formes normales. Exemples.

Utilisée dans les 1 versions de développements suivants :


Utilisée dans les 4 versions de leçons suivantes :