Une application de l’élimination parallèle des coupures en logique linéaire multiplicative sans unités au développement de Taylor des réseaux de preuves

Carte non disponible
Speaker Home page :
Speaker :
Speaker Affiliation :

()

Date/heure
Date(s) - 27/09/2018
11 h 00 min - 12 h 30 min

Catégories


TBA

http://www.irif.fr/users/chouquet/index


Retour en haut 

Secured By miniOrange