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]
No references recorded for this publication.
No citations of this publication recorded.