Luís C. Lamb
Original record- Institution
- Imperial College London
- Year
- 2000
- Country
- United Kingdom
- MGP identifier
- 94407
Dissertation: Labelled Proof Theory for Conditional Logic
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Krysia B. BrodaImperial College London · 1991
- Dov M. GabbayHebrew University of Jerusalem · 1969
Students 8
| Name | Institution | Year | Students |
|---|---|---|---|
| Rafael Vergara Borges | City, University of London | 2011 | 0 |
| Ricardo Matsumura de Araujo | Universidade Federal do Rio Grande do Sul | 2009 | 0 |
| Rafael de Santiago | Universidade Federal do Rio Grande do Sul | 2017 | 0 |
| Marcio Dorn | Universidade Federal do Rio Grande do Sul | 2012 | 0 |
| Daniel Scain Farenzena | Universidade Federal do Rio Grande do Sul | 2016 | 0 |
| Felipe Grando | Universidade Federal do Rio Grande do Sul | 2018 | 0 |
| Diego Vrague Noble | Universidade Federal do Rio Grande do Sul | 2017 | 0 |
| Marcelo de Oliveira Rosa Prates | Universidade Federal do Rio Grande do Sul | 2019 | 0 |