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
Pavages apériodiques et codage de Z^2-actions sur le tore
18 mars 2019
Sébastien Labbé
(LABRI - Université de Bordeaux)
TBA
Navigation de l’article
Bornes inférieures dans les circuits arithmétiques : un focus sur la profondeur constante
Points apériodiques dans les sous-shifts de dimension 2
