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
Single-stranded architectures for computing
24 juin 2019
Shinnosuke Seki
(UEC Tokyo / ENS-Lyon)
TBA
Navigation de l’article
Introduction to Graph Edit Distance (GED) problem
On Module Checking and Strategies (joint work with Aniello Murano)
