Sylvain Salvati
IdRefMots clés
FR |
EN
Lambda-calcul
Langages formels
Logique
Linguistique formelle
Analyse et génération de langage
Datalog
Sémantique des jeux
Sémantique selon la théorie des jeux
Ontologies (informatique)
Grammaire catégorielle
Commutation (linguistique)
Filtres (informatique)
Automates
Transduction
Transducteur unidirectionnel et bidirectionnel
SST
Transduction MSO
Transducteurs
Théorie de la définissabilité (mathématiques)
Linguistique informatique