Knowledge Tree

researcher / Jean-Pierre Jouannaud

Jean-Pierre Jouannaud

at_id:

orcid_id:

Disciplines:

Applied sciences

Common sciences and techniques

Computer sciences

Edit Merge See Links

Directed Thesis:

Confluence properties of rewrite rules by decreasing diagrams

Théories des types et procédures de décisions

Extraction de programmes optimisés à partir de preuves (non-constructives) par l'interprétation Dialectica (monotone) légère

Stratégies efficaces et modèles d'implantation pour les langages fonctionnels

Propriétés uniformes de familles de systèmes de réécriture de mots paramétrées par des entiers

Theorie des types et recriture

Approche incrémentale des preuves automatiques de terminaison

Contribution a l'etude de la sequentialite forte des definitions de fonctions par regles

Ecolog : un environnement pour la programmation en logique contrainte

Modeles de calculs multiparadigmes fondes sur la reecriture

Réécriture modulo une théorie présentée par un système convergent et décidabilité des problèmes du mot dans certaines classes de théories equationnelles

Elements pour la decidabilite de l'unification modulo la distributivite

Une approche algebrique de la reecriture et son application a la derivation de procedures de completion

Unification dans les melanges de theories equationnelles

Méthodes de filtrage équationnel et de preuve automatique de théorèmes