7 results  save search


...
tel-02462270v1  Habilitation à diriger des recherches
Pierre Charbit. About Some Hereditary Classes of Graphs : Algorithms - Structure - Coloration
Discrete Mathematics [cs.DM]. Université Paris Diderot, 2019
...
tel-02161197v1  Habilitation à diriger des recherches
Yves Guiraud. Rewriting methods in higher algebra
Category Theory [math.CT]. Université Paris 7, 2019
...
tel-02405839v1  Habilitation à diriger des recherches
Yann Regis-Gianas. About some Metamorphoses of Computer Programs
Programming Languages [cs.PL]. Université Paris Diderot, 2019