Leandro Rafael Moreira Gomes
Original record- Institution
- Universidade do Minho
- Year
- 2022
- Country
- Portugal
- MGP identifier
- 337608
Dissertation: Computações Pesadas: Semânticas e Lógicas de Programas (Weighted Computations: Semantics and Program Logics)
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 2
- Alexandre MadeiraUniversidade do Minho · 2013
- Luis Soares BarbosaUniversidade do Minho · 2001
Students 0
No students recorded in this snapshot.