Supervision : Thérèse HARDIN

Formalisation de la Théorie de la Réécriture dans le Système Coq

1999 Publications