MM
Open Menu
Close Menu
Bio
Publications
Séminaires
Actualités
Expérience
Projets
Cours
Tutoriels
Partage
Français
English
ESC
All Results
Searching...
No results found
Clear search
↑↓
Navigate
↵
Select
Powered by Hugo Blox
4
COO-serializability: A Correctness Criterion for Cooperative Executions
Pascal Molli
•
juin 1, 1997
•
1 min. de lecture
Read more
Recherche de preuves en $AF_2$ par codage dans une logique d'ordre supérieur
Mémoire de DEA
Manuel Munier
•
sept. 7, 1994
•
2 min. de lecture
Read more
