Graduation details

[PhD] - Expressivité des logiques des spaces

Jan 2001 - Nov 2004

Abstract:

Start Date: 1 Jan 2001

End Date: 4 Nov 2004

Post-Graduation by: Etienne Lozes

Post-Graduation Supervisor(s): Luis Caires, Daniel Hirschkoff

Post-Graduation Jury(s): Luís Monteiro, Luis Caires, Luca Cardelli, Daniel Hirschkoff, Davide Sangiorgi, Pierre Lescanne, Stephen Merz