Knowledge Tree

researcher / Pierre Lescanne

Pierre Lescanne

at_id:

orcid_id:

Disciplines:

Applied sciences

Common sciences and techniques

Computer sciences

Edit Merge See Links

Directed Thesis:

Techniques modulo pour les bisimulations faibles

Generalisation and formalisation in game theory

Systèmes de types purs et substitutions explicites

Computing with sequents and diagrams in classical logic - calculi *X, dX and ©X

Expressivité des logiques d'espace

Ressources limitées pour la mobilité : utilisation, réutilisation, garanties

Types pour des langages de programmation orientée d'objet et fonctionnelle

Application de la théorie des types et du démonstrateur COQ à la vérification de programmes parallèles

Les calculs de substitutions explicites comme fondement des implantations des langages fonctionnels

Substitutions explicites et unification d'ordre supérieur

Génération et tracé de structures décomposables

Vérification formelle des systèmes parallèles décrits en Unity à l'aide d'un outil de démonstration automatique

Développements d'algorithmes dans le calcul des constructions

Méthodes de vérification de circuits digitaux

Calcul formel en geometrie algebrique reelle applique a la terminaison des systemes de reecriture

Étude et réalisation de méthodes de preuve par récurrence en logique équationnelle

Démonstration automatique par des techniques de réécritures

Preuves de terminaison des systèmes de réécriture associatifs commutatifs : Une méthode fondée sur la réécriture elle-même

Preuves de terminaison des systèmes de réecriture : un outil fondé sur les interprétations polynomiales