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
On the Buridan’s Principle by Leslie Lamport
23 novembre 2015
Daniele Varacca
(LACL)
Abstract to be updated
Navigation de l’article
The domino problem for structures between Z and Z^d
ATL with strategy contexts
