Benoit Valiron
IdRefMots clés
FR |
EN
Logique linéaire
Logique de seuil
Informatique quantique
L’encodage des références
Réseaux de preuve
Sémantique
Concurrence
Programmation fonctionnelle (informatique)
Langage de programmation
Langages de programmation
Méthodes formelles
Méthodes formelles (informatique)
Calcul Quantique
Géométrie de l'Interaction
Calcul quantique
Compilation de circuits quantiques
Circuits linéaires réversibles
Optimisation de ressources
Calcul haute performance
Programmation non linéaire