Le moteur de recherche
des thèses françaises
Peter Selinger
IdRefMots clés
FR |
EN
Mécanique quantique catégorique
ZX-Calculus
Complétude
Universalité
Formes normales
CPM
Théorie quantique
Calcul graphique
Complétude, Théorème de
Formes normales (mathématiques)
Méthode PERT
Informatique quantique
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
Sémantique