Roberto Lins de Carvalho
Ph.D. University of Toronto 1974
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 listed in chronological order.
| Name | School | Year | Descendants |
|---|---|---|---|
| Farias, Pedro Porfirio | Universidade Federal do Rio de Janeiro | 1998 | |
| Foina, Paulo | Pontifícia Universidade Católica do Rio de Janeiro | 1985 | 1 |
| Monteiro, Sonia | Pontifícia Universidade Católica do Rio de Janeiro | 1986 | |
| Omar, Nizam | Pontifícia Universidade Católica do Rio de Janeiro | 1989 | 1 |
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.