Éric Badouel
IdRefMots clés
FR |
EN
Flux de travail
Grammaires attribuées (informatique)
Logiciels -- Réutilisation
XML (langage de balisage)
Structures de données (informatique)
Programmation fonctionnelle (informatique)
Arbres (théorie des graphes) -- Informatique
Méthodes formelles (informatique)
Composants logiciels
Théorie des machines séquentielles
Langages formels
Sciences appliquees
Informatique, automatique theorique, systemes
Calcul de processus
Equivalence comportementale
Calcul de points fixes
Semantique denotationnelle
Modele operationnel
Semantique fonctorielle
Theorie algebrique