G Sivakumar
Original record- Institution
- University of Illinois at Urbana-Champaign
- Year
- 1988
- Country
- United States
- MGP identifier
- 110606
Dissertation: Proofs and Computations in Conditional Equational Theories
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Nachum DershowitzWeizmann Institute of Science · 1979
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Jyotsna Kamal | Indian Institute of Technology, Mumbai | 1999 | 0 |
| Krishnan Ramanathan | Indian Institute of Technology, Mumbai | 2000 | 0 |
| S. Hanumantha Rao | Indian Institute of Technology, Mumbai | 1998 | 0 |