Learning and Invariant Synthesis of Polynomial Programs

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

FR

Auteur / Autrice :	Klara Nosan
Direction :	Mahsa Shirmohammadi, James Worell
Type :	Projet de thèse
Discipline(s) :	Informatique
Date :	Inscription en doctorat le 08/10/2021
Etablissement(s) :	Université Paris Cité
Ecole(s) doctorale(s) :	386 - SCIENCES MATHEMATIQUES DE PARIS CENTRE
Partenaire(s) de recherche :	Equipe de recherche : UMR 8243 Institut de Recherche en Informatique Fondamentale (IRIF)