Heaps and Hops

Ma gratitude va en premier lieu à Étienne Lozes, qui a encadré mes travaux avec enthousiasme, gentillesse et rigueur scientifique. Merci pour ta disponibilité sans faille. Je remercie également Cristiano Calcagno, qui a guidé mes premiers pas dans le domaine de la logique de séparation, et qui a don...

Full description

Bibliographic Details
Main Authors: Docteur En Informatique, Soutenue Par, Jules Villard, Byron Cook, Dino Distefano, Rob Dockins, Mike Dodds, Ralf Treinen, Viktor Vafeiadis, Hongseok Yang, Nobuko Yoshida Et Bien D’autres
Other Authors: The Pennsylvania State University CiteSeerX Archives
Format: Text
Language:English
Subjects:
Online Access:http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.397.53
Description
Summary:Ma gratitude va en premier lieu à Étienne Lozes, qui a encadré mes travaux avec enthousiasme, gentillesse et rigueur scientifique. Merci pour ta disponibilité sans faille. Je remercie également Cristiano Calcagno, qui a guidé mes premiers pas dans le domaine de la logique de séparation, et qui a donné le point de départ de cette thèse. Je remercie Daniel Hirschkoff pour avoir parrainé ma vie scientifique, et Alain Finkel pour avoir dirigé ma thèse. Je remercie toutes les autres personnes avec qui j’ai eu l’occasion de parler de science pendant ma thèse, et qui m’ont encouragé à continuer: Benedikt Bollig, Steve Brookes, Luis