`Travelled to:`

1 × Denmark

1 × Germany

1 × Hungary

1 × India

1 × Italy

1 × Portugal

1 × Switzerland

1 × USA

1 × United Kingdom

`Collaborated with:`

∅ R.K.Shyamasundar D.Kapur P.K.Pandya S.Junaidu T.Maghrabi M.Shafique M.Ahmed K.A.Faisal

`Talks about:`

program (4) termin (4) implement (2) hierarch (2) complet (2) rewrit (2) prove (2) logic (2) well (2) term (2)

## Person: M. R. K. Krishna Rao

### DBLP: Rao:M=_R=_K=_Krishna

### Contributed to:

### Wrote 11 papers:

- ITiCSE-2005-Rao
- Infusing critical thinking skills into content of AI course (MRKKR), pp. 173–177.
- ITiCSE-2005-RaoJMSAF #case study #design #education #implementation
- Principles of curriculum design and revision: a case study in implementing computing curricula CC2001 (MRKKR, SJ, TM, MS, MA, KAF), pp. 256–260.
- LOPSTR-2004-Rao #logic programming #source code
- Input-Termination of Logic Programs (MRKKR), pp. 215–230.
- ICLP-2003-Rao #polynomial
- Polynomial-Time Learnability from Entailment (MRKKR), pp. 489–491.
- JICSLP-1996-Rao #implementation
- Completeness Results for Basic Narrowing in Non-Copying Implementations (MRKKR), pp. 393–407.
- RTA-1996-Rao #composition #graph grammar #termination
- Modularity of Termination in Term Graph Rewriting (MRKKR), pp. 230–244.
- SAS-1995-RaoS #execution #prolog #source code
- Unification-Free Execution of Well-Moded and Well-Typed Prolog Programs (MRKKR, RKS), pp. 243–260.
- FME-1993-RaoPS #compilation #development #tool support #verification
- Verification Tools in the Development of Provably Correct Compilers (MRKKR, PKP, RKS), pp. 442–461.
- ICLP-1993-RaoKS #haskell #proving #source code #termination
- Proving Termination of GHC Programs (MRKKR, DK, RKS), pp. 720–736.
- CSL-1991-RaoKS #logic programming #proving #source code #termination
- A Transformational Methodology for Proving Termination of Logic Programs (MRKKR, DK, RKS), pp. 213–226.
- TAPSOFT-1995-Rao #term rewriting
- Semi-Completeness of Hierarchical and Super-Hierarchical Combinations of Term Rewriting Systems (MRKKR), pp. 379–393.