Skip to Main content Skip to Navigation


...
inria-00090488v3  Reports
Frédéric Blanqui. (HO)RPO Revisited
[Research Report] RR-5972, INRIA. 2006, pp.20
...
hal-01064822v2  Reports
Thomas GerbetAmrit KumarCédric Lauradoux. (Un)Safe Browsing
[Research Report] RR-8594, INRIA. 2014
...
inria-00265297v2  Reports
Omid AminiFlorian HucJanez Zerovnik. $(\ell,k)$-Routing on Plane Grids
[Research Report] RR-6480, INRIA. 2008
...
inria-00098735v1  Reports
Horatiu CirsteaClaude Kirchner. $\rho$-Calculus. Its Syntax and Basic Properties
[Intern report] 98-R-218 || cirstea98a, 1998, 16 p
...
inria-00074372v1  Reports
Manuel SerranoPierre Weis. 1+1=1 : an optimizing Caml compiler
[Research Report] RR-2301, INRIA. 1994