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