Guy Perrier
Mots clés
FR |
EN
Linguistique -- Informatique
Sémantique
Linguistique computationnelle
Traitement automatique des langues
Syntaxe formelle
Coordination
Grammaire d'interaction
Analyse syntaxique
Théorie des automates
Théorie des automates mathématiques
Logique
Traitement automatique du langage naturel
Parallélisme (informatique)
Programmation logique
Théorie de la démonstration
Linguistique informatique
Syntaxe modèle-théorique
Grammaires catégorielles abstraites
Lambda-calcul
Analyse automatique (linguistique)