Direção de pesquisa : Thérèse HARDIN

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

Publicações 1999

• 1999
  • N. Abella : “Formalisation de la Théorie de la Réécriture dans le Système Coq”, tese, defesas 17/12/1999, direção de pesquisa Hardin, Thérèse (1999)