Items where Author is "Krishna Rao, M. R. K."Group by: Item Type | No Grouping Jump to: Article Number of items: 2. ArticleKrishna Rao, M. R. K. ; Kapur, Deepak ; Shyamasundar, R. K. (1998) Transformational methodology for proving termination of logic programs The Journal of Logic Programming, 34 (1). pp. 1-41. ISSN 0743-1066 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 |
| Login | Create Account |
![[up]](/style/images/multi_up.png)
Up a level