Items where Author is "Ramakrishnan, C. R."
Group by: Item Type | No Grouping Jump to: Conference or Workshop Item Number of items: 1. Conference or Workshop ItemBasu, Samik ; Mukund, Madhavan ; Ramakrishnan, C. R. ; Ramakrishnan, I. V. ; Verma, Rakesh (2001) Local and symbolic bisimulation using tabled constraint logic programming In: 17th International Conference on Logic Programming (ICLP 2001 ), 26 Nov - 01 Dec 2001, Paphos, Cyprus. |