previous up next contents                                RA 1994     RA 1996
Suivant : Table des matières

Projet EURECA

Preuve, calcul symbolique et logique

Rapport d'activité 1995

Page WWW du projet

Localisation : Nancygif

Mots clefs : lambda-calcul, logique, réécriture, expression régulière, preuve de programme, analyse d'algorithme, calcul symbolique