Ritu Chadha
Ritu Chadha graduated with a PhD in 1991. Her
dissertation
was on the applications of unskolemization.
Technical reports:
- TR91-027
Applications of Unskolemization
- Ritu Chadhu (doctoral dissertation)
plaisted@cs.unc.edu,
6-Jun-95
If you have a link to this page...