Charles Paperman
IdRefMots clés
FR |
EN
Variété de timbes
Théorie des semigroupes
Conjectures de Straubing
Complexité de calcul (informatique)
Théorie des automates mathématiques
Langages rationnels
Logique du premier ordre
Calcul des prédicats
Algorithme de flots
Théorie algébgrique des automates
Circuit booléen
Vectorisation (informatique)
Expressions rationnelles
Semigroupes
Programmation parallèle (informatique)