Vous n'auriez pas dû voir cette page, destinée aux moteurs de recherche. Allez plutôt voir du côté de www.sudoc.abes.fr/DB=2.1/SRCH?IKT=12&TRM=232518904.

On Effective Representations of Well Quasi-Orderings / Simon Halfon ; sous la direction de Philippe Schnoebelen

Date :

Editeur / Publisher : , 2018

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Vérification de modèles (informatique) -- Thèses et écrits académiques

Logique informatique -- Thèses et écrits académiques

Schnoebelen, Philippe (Directeur de thèse / thesis advisor)

Conchon, Sylvain (1972-....) (Président du jury de soutenance / praeses)

Kuske, Dietrich (1965-...) (Rapporteur de la thèse / thesis reporter)

Habermehl, Peter (Rapporteur de la thèse / thesis reporter)

Džamonja, Mirna (Membre du jury / opponent)

Schmitz, Sylvain (1980-....) (Membre du jury / opponent)

Geeraerts, Gilles (1979-....) (Membre du jury / opponent)

Université Paris-Saclay (Organisme de soutenance / degree-grantor)

École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne) (Ecole doctorale associée à la thèse / doctoral school)

École normale supérieure Paris-Saclay (Cachan, Val-de-Marne) (Autre partenaire associé à la thèse / thesis associated third party)

Laboratoire Spécification et Vérification (Cachan, Val-de-Marne). (Laboratoire associé à la thèse / thesis associated laboratory)