Algorithme optimal  Approche incrémentale  Assistant de preuve  Assistant à la démonstration  Automatic proving  Calcul des constructions extentionnelles  Commutation, Théorie de la  Complétion  Complétude suffisante  Confluence  Constructeurs  Diagrammes décroissants  Décidabilité  Décomposition  Démonstration automatique  Démonstration théorème  Estimation de paramètres  Extraction de programmes à partir de preuves  Filtrage  Filtres  Formalisme  Formation des mots  Image tridimensionnelle  Intelligence artificielle  Knuth, Donald Ervin  LISP  Lambda-calcul  Langage orienté objet  Langages de programmation fonctionnelle  Logique combinatoire  Logique d'ordre supérieur  Mots apparentés  Méthode algébrique  Optimal algorithm  Ordinateurs -- Programmation  Paires critiques  Perception du mouvement par ordinateur  Perception visuelle du mouvement  Preuves de terminaison  Programmation  Programmation fonctionnelle  Programmation logique  Prolog  Prototype verification system  Prédicat  Quantificateurs sans signification computationnelle  Récurrence  Réseaux d'interaction  Réseaux d'interconnexion  Réseaux d'ordinateurs  Résistance aux pannes de grands réseaux  Réécriture  Réécriture, Systèmes de  Sous-typage par prédicats  Spécification  Spécification algébrique conditionnelle  Spécifications algébriques  Statistiques  Substitution explicite  Système de modules  Système de réécriture conditionnel simplifiant  Système réécriture  Systèmes concurrents  Systèmes de types purs  Systèmes experts  Systèmes informatiques  Sytème Coq  Sémantique algébrique  Theorem proving  Théorie de la démonstration  Théorie des types  Théorie équationnelle  Théorèmes -- Démonstration automatique  Trequasi  Types de données  Vision artificielle  Vision stéréoscopique  

Jean-Pierre Jouannaud a dirigé les 17 thèses suivantes :

Sciences et techniques communes
Soutenue en 2001
Thèse soutenue

Sciences appliquées
Soutenue en 1993
Thèse soutenue

Sciences appliquées
Soutenue en 1990
Thèse soutenue


Jean-Pierre Jouannaud a été président de jury des 3 thèses suivantes :


Jean-Pierre Jouannaud a été rapporteur de la thèse suivante :


Jean-Pierre Jouannaud a été membre de jury des 6 thèses suivantes :

Mathématiques. Logique et fondements de l'informatique
Soutenue le 10-04-2018
Thèse soutenue
Informatique
Soutenue en 1987
Thèse soutenue