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