Elimination parallèle des coupures dans les réseaux de la logique linéaire

par Giulia Manara

Projet de thèse en Informatique

Sous la direction de Thomas Ehrhard et de Lorenzo Tortora de falco.

Thèses en préparation à l'Université Paris Cité en cotutelle avec l'UNIVERSITA DEGLI STUDI ROMA TRE , dans le cadre de 386 - SCIENCES MATHEMATIQUES DE PARIS CENTRE , en partenariat avec UMR 8243 Institut de Recherche en Informatique Fondamentale (IRIF) (equipe de recherche) depuis le 26-10-2021 .

Pas de résumé en français disponible.

Pas de résumé disponible.