Projet Eureca

                               RA 1996
Suivant : Composition de l'équipe

Projet EURÉCA

Preuve, calcul symbolique et logique

Rapport d'activité de 1997

Page de présentation du projet - Rapport d'activité au format   PostScript  ou  PDF

Localisation : Nancy

Mots-clés : lambda-calcul, logique, réécriture, expression régulière, preuve de programmes, calcul symbolique, structure décomposable, génération aléatoire, jeu de tests

Notes:

...Nancy

Projet du LORIA, commun au CNRS, à l'INRIA, à l'UHP Nancy 1, à Nancy 2 et à l'INPL