Analyse de dépendances et correction des réseaux de preuve.

Wed, 01 Jan 2014 00:00:00 +0100

Marc Bagnol, Amina Doumane, Alexis Saurin:
Analyse de dépendances et correction des réseaux de preuve. JFLA 2014: 159-174