Skip to content
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
Comment venir ?
Connexion
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
Comment venir ?
Connexion
Reversible Transducers
traduire en verlan
9 novembre 2020
Luc Dartois
(LACL)
Navigation de l’article
Entropy and Complexity Lower Bounds
Implémentations matérielles efficaces des modèles de calcul non-conventionnel
