Le moteur de recherche
des thèses françaises
Vincent Danos
IdRefMots clés
FR |
EN
Informatique
Langages de programmation -- Sémantique
Causalité
Graphes
Automates cellulaires
Réversibilité
Universalité intrinsèque
Delta complexes
Théorie des graphes
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éseaux de réactions biochimiques
Séparation des échelles temps et concentration
Réduction de modèles
Croissance cellulaire