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
Logiciels -- Facteur humain
Théorie des automates mathématiques
Logique
Traitement automatique du langage naturel
Parallélisme (informatique)
Informatique
Programmation logique
Théorie de la démonstration
Linguistique informatique
Syntaxe modèle-théorique
Grammaires catégorielles abstraites