Participant : Thierry Despeyroux
Mots clefs : Prolog Nous avons donné une description formelle du système de récupération d'erreur tel qu'il est implanté dans le langage de description sémantique TYPOL utilisé dans nos expériences. Ce travail a des extensions sur la programmation logique en général et a donné lieu à une publication [10].