Le moteur de recherche
des thèses françaises
Marie-Claude Heydemann-Tcherkez
IdRefMots clés
FR
Sémantique opérationnelle
Spécifications algébriques
Langage de spécification
Bibliothèque de spécification
Environnement de spécification
Réécriture de termes
E,R-algèbres
Asspegique
Algèbre
Graphes adjoints
Graphes non orientés
Graphes orientés
Graphes antisymétriques
Graphes bipartis
Routage (informatique)
Grandes déviations
Formules variationnelles
Dynamique des populations
Processus de branchements spatiaux
Processus de Galton-Watson