Roberto Lins de Carvalho

MathSciNet


Ph.D. University of Toronto 1974 Canada
Dissertation: Some Results in Automatic Theorem-Proving with Applications in Elementary Set Theory and Topology
Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor: Stephen Arthur Cook

Students:
Click here to see the students ordered by family name.

NameSchoolYearDescendants
Foina, PauloPontifícia Universidade Católica do Rio de Janeiro19851
Monteiro, SoniaPontifícia Universidade Católica do Rio de Janeiro1986
Omar, NizamPontifícia Universidade Católica do Rio de Janeiro19891
Farias, Pedro PorfirioUniversidade Federal do Rio de Janeiro1998

According to our current on-line database, Roberto de Carvalho has 4 students and 6 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 92523 for the advisor ID.