Remy • Cerda
Doctorant (Phd Student) • Affiliation : I2M
Site : Luminy • Bureau : • Etage du bureau : 1 •
AGLR-LDP (équipe Logique de la Programmation)
Groupe(s) scientifiques(s) de l'utilisateur :
Thématiques scientifiques :
- Logique
- Informatique théorique, calculabilité
Publications HAL
