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=170530167.

Strengthening the heart of an SMT-solver : Design and implementation of efficient decision procedures / Mohamed Iguernelala ; sous la direction de Sylvain Conchon

Date :

Editeur / Publisher : , 2013

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Catalogue Worldcat

Théorèmes -- Démonstration automatique -- Thèses et écrits académiques

Réécriture, Systèmes de (informatique) -- Thèses et écrits académiques

Conchon, Sylvain (1972-....) (Directeur de thèse / thesis advisor)

Hivert, Florent (Président du jury de soutenance / praeses)

Cimatti, Alessandro (Rapporteur de la thèse / thesis reporter)

Rusinowitch, Michaël (1956-....) (Rapporteur de la thèse / thesis reporter)

Besson, Frédéric (Membre du jury / opponent)

Contejean, Evelyne (Membre du jury / opponent)

Treinen, Ralf (1961-....) (Membre du jury / opponent)

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

Ecole doctorale Informatique de Paris-Sud (Ecole doctorale associée à la thèse / doctoral school)

Laboratoire de recherche en informatique (Orsay, Essonne) (Laboratoire associé à la thèse / thesis associated laboratory)

Toccata (Saclay) (Equipe de recherche associée à la thèse / thesis associated research team)