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)
Méthodes formelles
Langage de programmation
Méthodes formelles (informatique)
Langages de programmation
Calcul quantique
Compilation de circuits quantiques
Circuits linéaires réversibles
Optimisation de ressources
Calcul haute performance
Programmation non linéaire
Calcul intensif (informatique)
Programmation quantique