Le moteur de recherche
des thèses françaises
Benoit Valiron
IdRefMots clés
FR |
EN
Informatique quantique
Logique linéaire
Logique de seuil
Méthodes formelles
Méthodes formelles (informatique)
Langages de programmation
L’encodage des références
Réseaux de preuve
Sémantique
Concurrence
Programmation fonctionnelle (informatique)
Calcul quantique
Programmation quantique
Langage de programmation
Théorie des catégories
Compilation
Quantique
Compilation (informatique)
Calcul graphique
Compilation de circuits quantiques