Le moteur de recherche
des thèses françaises
Russ Harmer
IdRefMots clés
FR |
EN
Transformation de graphes
Réécriture de graphes
Représentation des connaissances
Piste d'audit
Bases de données orientées graphes
Bio-curation
Signalisation cellulaire
Modélisation à base de règles
Interprétation abstraite
Voies de signalisation
Modélisation par règles de réécritures
Réduction de modèles
Bisimulations
Flot d’information
Programmation logique
Coq
Formalisation