Items where Author is "Kapur, D."
Group by: Item Type | No Grouping Number of items: 1. Krishna Rao, M. R. K. ; Kapur, D. ; Shyamasundar, R. K. (1997) Proving termination of GHC programs New Generation Computing, 15 (3). pp. 293-338. ISSN 0288-3635 |
Items where Author is "Kapur, D."
Group by: Item Type | No Grouping Number of items: 1. Krishna Rao, M. R. K. ; Kapur, D. ; Shyamasundar, R. K. (1997) Proving termination of GHC programs New Generation Computing, 15 (3). pp. 293-338. ISSN 0288-3635 |