Quang Huy Nguyen. Calcul de réécriture et automatisation du raisonnement dans les assistants de preuve. PhD thesis, Henri Poincaré University, Nancy, France, 2002. [doi]
@phdthesis{hal-10956,
title = {Calcul de réécriture et automatisation du raisonnement dans les assistants de preuve},
author = {Quang Huy Nguyen},
year = {2002},
url = {https://tel.archives-ouvertes.fr/tel-01746719},
researchr = {https://researchr.org/publication/hal-10956},
cites = {0},
citedby = {0},
school = {Henri Poincaré University, Nancy, France},
}