Robert Stuart Streett
Original record- Institution
- Massachusetts Institute of Technology
- Year
- 1980
- Country
- United States
- MGP identifier
- 61918
Dissertation: Propositinal Dynamic Logic and the Divergence of Programs
Advisor 1
- Vaughan Ronald PrattStanford University · 1972
Students 0
No students recorded in this snapshot.