Algorithme  Algorithme de Knutyh et Bendix  Algorithmes  Algèbres de processus  Algèbres des relations  Ambients  Arbres sémantiques  Atteignabilité  Automate  Automatic proving  Bibliothèques haute performance  Bigraphes  Bisimulation  C plus-plus  Cadres logiques  Calcul X  Calcul des séquents  Calculabilité  Catégories symétriques monoïdales closes  Circuit Intégré  Circuit Numérique  Circuits intégrés numériques  Commutation, Théorie de la  Compilateur source-à-source  Convertibilité et préférence  Coq  Coq  Correction Automatique  Distribution  Débogage  Décidabilité  Démodulation  Démonstration automatique  Ensembles, Théorie combinatoire des  Equational theory  Equilibre parfait en sous-jeux  Fonctions booléennes  Fonctions calculables  Graphes orientés  Géologie -- Logiciels  Géométrie combinatoire  Inference rule  Interprétation polynômiale  Isomorphisme de Curry-Howard  Jeux de stratégie  Lambda calcul  Lambda calculus  Lambda-calcul  Lambda-graphes  Langages de programmation -- Sémantique  Langages de programmation  Langages de programmation fonctionnelle  Langages de programmation orientés objet  Logiciels -- Exactitude  Logiciels -- Vérification  Logique Booléenne  Logique classique  Logique de Hoare  Logique mathématique  Logique spatiale  Logiques probabilistes  Maple  Mathematical logic  Mobilité  Modèle polyédrique  Méthodes formelles  Non-déterminisme discret  Optimisation mathématique  Ordinateurs -- Programmation  Ordre noethérien  Paramodulation  Permutations  Polynômes  Positivité d'un polynôme  Probabilités  Program specification  Programmation  Programmation fonctionnelle  Programmation orientée objets  Programmation parallèle  Programming  Protocoles de réseaux d'ordinateurs  Reconnaissance automatique de la parole  Reconnaissance d'algorithmes  Rewriting  Rewriting system  Règle inférence  Réseaux de preuves  Résolution  Réécriture  Réécriture associative-commutative  Réécriture, Systèmes de  Specification programme  Subsomption  Suites récurrentes  Surfaces  Système réécriture  Systèmes de types  Techniques modulo  Terminaison  Termination  Termination problem  Théorie de la démonstration  Théorie de programmation  Théorie des jeux  Théorie des types  Théorie équationnelle  Théories de Lawvere  Théorèmes -- Démonstration automatique  Traitement d'images -- Techniques numériques  Verification  Vérification formelle  Équations, Théorie des  Étude Théorique  

Pierre Lescanne a dirigé les 21 thèses suivantes :

Sciences et techniques. Sciences et techniques communes
Soutenue en 1999
Thèse soutenue

Sciences appliquées
Soutenue en 1991
Thèse soutenue

Sciences et techniques communes
Soutenue en 1987
Thèse soutenue


Pierre Lescanne a été président de jury des 2 thèses suivantes :


Pierre Lescanne a été rapporteur des 2 thèses suivantes :


Pierre Lescanne a été membre de jury de la thèse suivante :