Évènements
Rechercher un événement
Types inductifs stricts et paresseux, du point de vue de la logique linéaire
Thomas Ehrhard (PPS, Université Paris-Diderot)
TBA http://www.pps.univ-paris-diderot.fr/~ehrhard/
19
Mar
Aspects algorithmiques des groupes d'unités
Aurel Page (...)
Le calcul du groupe des unités de l'anneau des entiers d'un corps de nombres est un problème important et difficile de la théorie algorithmique des [...]
