Items where Author is "Kapur, Deepak"

Group by: Item Type | No Grouping

Number of items: 1.

Krishna 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

This list was generated on Sat Apr 4 14:42:49 2026 UTC.