Skip to Main content Skip to Navigation

hal-01973539v1  Reports
Quentin Ye. Comparaison des termes avec partage
[Rapport de recherche] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France). 2018
inria-00443839v2  Reports
Sid TouatiJulien WormsSébastien Briais. The Speedup Test
[Technical Report] 2010, pp.38
inria-00636083v1  Reports
Asma TafatClaude Marché. Binary Heaps Formally Verified in Why3
[Research Report] RR-7780, INRIA. 2011, pp.33
hal-01870148v1  Reports
Lutz Straßburger. On the Decision Problem for MELL
[Research Report] 9203, Inria Saclay Ile de France. 2018
inria-00632281v1  Reports
Alban Quadrat. Grade filtration of linear functional systems
[Research Report] RR-7769, INRIA. 2011, pp.86