Patrick Bellot
IdRefMots clés
FR |
EN
Programmation fonctionnelle
Sciences appliquees
Informatique, automatique theorique, systemes
These
Langage programmation
Thesis
Programming language
Cryptographie
Théorie quantique
Automate fini
Système de numération abstrait
Théorie des automates mathématiques
Langages formels
Transducteurs
Sciences et techniques communes
Mathematiques
Logique combinatoire
Arite variable
Abstraction
Sequence