Le moteur de recherche
des thèses françaises
Glynn Winskel
IdRefMots clés
FR |
EN
Sémantique dénotationnelle
Sémantique des jeux
Concurrence
Théorème de Herbrand
Analyse de coût
Structure d’événements
Modèle dénotationnel quantitatif
Analyse de temps
Programmation Quantique
Sémantique des Jeux
Sémantique Dénotationnelle
Probabilités
Théorie des Catégories
Lambda-calcul
Sémantique selon la théorie des jeux
Réécriture de graphes
Transformation de graphes
Représentation des connaissances
Piste d'audit
Bases de données orientées graphes