Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / CRISTINA CORNES

CRISTINA CORNES

at_id:

orcid_id:

Disciplines:

Applied sciences
Edit Merge See Links

Thesis:

Conception d'un langage de haut niveau de representation de preuves : recurrence par filtrage de motifs unification en presence de types inductifs primitifs synthese de lemmes d'inversion