Représentations Effectives des Beaux Pré-Ordres

par Simon Halfon

Projet de thèse en Informatique

Sous la direction de Philippe Schnoebelen et de Sylvain Schmitz.

Thèses en préparation à Paris Saclay , dans le cadre de Sciences et Technologies de l'Information et de la Communication , en partenariat avec LSV - Laboratoire Spécification et Vérification (laboratoire) , INFINI : vérification symbolique (equipe de recherche) et de Ecole normale supérieure Paris-Saclay (établissement de préparation de la thèse) depuis le 01-09-2015 .


  • Résumé

    Etudier la calculabilité et l'algorithmique des sous-ensembles clos des beaux-ordres usuels.

  • Titre traduit

    On Effective Representations of Well Quasi-Orderings


  • Résumé

    On the computability and algorithmics of closed-subsets in usual well-quasi-orderings.