Alignement sous-phrastique  Analyse automatique  Analyse du discours  Analyse et génération de langage  Analyse grammaticale  Analyse par transition  Analyse syntaxique en dépendances  Anaphore  Apprentissage automatique  Apprentissage collaboratif  Arbres  Assistants de preuve  Associations de gènes  Auto-modification  Avatar  Avatars  Calcul de Lambek  Clustering  Codage  Construction de modèles logique abductive  Construction de preuves  Datalog  Dessin de graphes et d’hypergraphes  Dialogue  Discours  Débat  Golden corpus  Grammaire  Grammaire Catégorielle Abstraite  Grammaire catégorielle  Grammaire d'arbres adjoints  Grammaires AB  Grammaires catégorielles de dépendances  Grilles informatiques  Génomique comparative  Hyprolog  Indexation automatique  Information  Informatique -- Mathématiques  Informatique  Inférence  Inférence grammaticale  Isomorphisme de Curry-Howard  Lambda-calcul  Lambda-calcul du second ordre  Langage et logique  Langages de programmation -- Sémantique  Langages formels  Langue des Signes Française  Langue des signes française  Langues des signes  Lexique compositionnel  Lexique Génératif  Linguistique -- Informatique  Linguistique formelle  Logique  Logique informatique  Logique linéaire  Logique mathématique  L’interprétation d’énoncés ambigus  Modèles mathématiques  Modèles métaboliques  Modélisation de préférences  Morphosyntaxe  Multilinguisme  Mémoire d'exemples  Métabolisme  Méthodes graphiques  Obfuscation  Ontologies  Ontologies  Paraphrase  Personnage virtuel  Planification  Preuve mathématique déductive  Préservation de la reconnaissabilité,  Récits de voyage  Réflexion  Réseaux métaboliques  Réécriture de termes,  Réécriture, Systèmes de  Segmentation  Signeur virtuel  Stratégies  Structures de données  Syntaxe  Systèmes d'argumentation  Sémantique  Sémantique compositionnelle  Sémantique des jeux  Sémantique des langages  Sémantique formelle  Sémantique selon la théorie des jeux  Sémiologie  Sémiotique  TAG  Temporalité des éventualités  Terminaison  Théorie de la démonstration  Théorie du gouvernement et du liage  Traduction automatique  Traitement automatique des langues  Traitement automatique du langage naturel  Transducteur d’arbres  Transducteurs  Travail collaboratif  Virologie  Virus informatiques  Visualisation d’information  Énoncés  Évaluation de preuves  Λ-calcul simplement typé  

Christian Retore a rédigé la thèse suivante :

Mathématiques
Soutenue en 1993
Thèse soutenue


Christian Retore dirige actuellement la thèse suivante :


Christian Retore a dirigé les 9 thèses suivantes :

Informatique et mathématiques
Soutenue en 2006
Thèse soutenue


Christian Retore a été président de jury des 4 thèses suivantes :


Christian Retore a été rapporteur des 3 thèses suivantes :

Informatique
Soutenue le 06-10-2017
Thèse soutenue

Christian Retore a été membre de jury des 2 thèses suivantes :