Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Manuel António Martins

Original record
Institution
Universidade de Lisboa
Year
2004
Country
Portugal
MGP identifier
95862

Dissertation: Behavioral Reasoning in Generalized Hidden Logics

Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisors 2

Students 4

NameInstitutionYearStudents
Diana CostaUniversidade de Aveiro20190
Daniel FigueiredoUniversidade de Aveiro20200
Alexandre MadeiraUniversidade do Minho20131
Renato NevesUniversidade de Aveiro and Universidade do Minho and Universidade do Porto20190
Genealogy