Authors: RAO MRKK KAPUR D SHYAMASUNDAR RK

Citation: Mrkk. Rao et al., TRANSFORMATIONAL METHODOLOGY FOR PROVING TERMINATION OF LOGIC PROGRAMS, The journal of logic programming, 34(1), 1998, pp. 1-41

Authors: RAO MRKK

Citation: Mrkk. Rao, MODULAR ASPECTS OF TERM GRAPH REWRITING, Theoretical computer science, 208(1-2), 1998, pp. 59-86

Authors: RAO MRKK

Citation: Mrkk. Rao, A FRAMEWORK FOR INCREMENTAL LEARNING OF LOGIC PROGRAMS, Theoretical computer science, 185(1), 1997, pp. 191-213

Authors: RAO MRKK KAPUR D SHYAMASUNDAR RK

Citation: Mrkk. Rao et al., PROVING TERMINATION OF GHC PROGRAMS, New generation computing, 15(3), 1997, pp. 293-338

Authors: RAO MRKK

Citation: Mrkk. Rao, RELATING CONFLUENCE, INNERMOST-CONFLUENCE AND OUTERMOST-CONFLUENCE PROPERTIES OF TERM REWRITING-SYSTEMS, Acta informatica, 33(6), 1996, pp. 595-606

Authors: RAO MRKK

Citation: Mrkk. Rao, MODULAR PROOFS FOR COMPLETENESS OF HIERARCHICAL TERM REWRITING-SYSTEMS, Theoretical computer science, 151(2), 1995, pp. 487-512