Bonjour, le serveur POD sera en maintenance le Mardi 2 avril toute la journée. L'outil "Habillage" des vidéos n'est pas encore totalement fonctionnel. Merci de ne pas l'utiliser pour le moment.
The Bernays-Schoenfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates
15 octobre 2020Mots clés : complexity decision procedures proof separation logic
Informations
- Nicolas Peltier
- 24 novembre 2020 09:05
- Colloque
- Anglais
Commentaire(s)