Preuves par induction dans le calcul de superposition / Abdelkader Kersani ; sous la direction de Nicolas Peltier

Date :

Editeur / Publisher : , 2014

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

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

Classification Dewey : 004

Peltier, Nicolas (1972-...) (Directeur de thèse / thesis advisor)

Trystram, Denis (1958-.... ; chercheur en informatique) (Président du jury de soutenance / praeses)

Leitsch, Alexander (1952-....) (Rapporteur de la thèse / thesis reporter)

Vigneron, Laurent (Rapporteur de la thèse / thesis reporter)

Stratulat, Sorin (Membre du jury / opponent)

Université de Grenoble (2009-2014) (Organisme de soutenance / degree-grantor)

École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (Ecole doctorale associée à la thèse / doctoral school)

Laboratoire d'informatique de Grenoble (Laboratoire associé à la thèse / thesis associated laboratory)