Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

M. R. K. Krishna Rao

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2008
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Rao08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Rao08
M. R. K. Krishna Rao:
Some classes of term rewriting systems inferable from positive data. Theor. Comput. Sci. 397(1-3): 129-149 (2008)
2001
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/RaoS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/RaoS01
M. R. K. Krishna Rao, Abdul Sattar:
Polynomial-time learnability of logic programs with local variables from entailment. Theor. Comput. Sci. 268(2): 179-198 (2001)
2000
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Rao00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Rao00
M. R. K. Krishna Rao:
Some characteristics of strong innermost normalization. Theor. Comput. Sci. 239(1): 141-164 (2000)
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Rao00a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Rao00a
M. R. K. Krishna Rao:
Some classes of prolog programs inferable from positive data. Theor. Comput. Sci. 241(1-2): 211-234 (2000)
1998
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/RaoKS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/RaoKS98
M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar:
Transformational Methodology for Proving Termination of Logic Programs. J. Log. Program. 34(1): 1-41 (1998)
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Rao98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Rao98
M. R. K. Krishna Rao:
Modular Aspects of Term Graph Rewriting. Theor. Comput. Sci. 208(1-2): 59-86 (1998)
1997
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ngc/RaoKS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ngc/RaoKS97
M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar:
Proving Termination of GHC Programs. New Gener. Comput. 15(3): 293-338 (1997)
[j3]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/tcs/Rao97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Rao97
M. R. K. Krishna Rao:
A Framework for Incremental Learning of Logic Programs. Theor. Comput. Sci. 185(1): 193-213 (1997)
1996
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/Rao96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/Rao96
M. R. K. Krishna Rao:
Relating Confluence, Innermost-Confluence and Outermost-Confluence Properties of Term Rewriting Systems. Acta Informatica 33(6): 595-606 (1996)
1995
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Rao95a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Rao95a
M. R. K. Krishna Rao:
Modular Proofs for Completeness of Hierarchical Term Rewriting Systems. Theor. Comput. Sci. 151(2): 487-512 (1995)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/icic/HussainR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icic/HussainR09
Shahid Hussain, M. R. K. Krishna Rao:
Learning Hereditary and Reductive Prolog Programs from Entailment. ICIC (2) 2009: 546-555
2007
[c31]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fecs/ShafiqueFR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fecs/ShafiqueFR07
Muhammad Shafique, Kanaan A. Faisal, M. R. K. Krishna Rao:
Infusing Critical Thinking Skill Classification into a Software Engineering Course. FECS 2007: 285-289
2006
[c30]
- view
  - electronic edition @ westernsydney.edu.au (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cats/Rao06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cats/Rao06
M. R. K. Krishna Rao:
Learnability of Term Rewrite Systems from Positive Examples. CATS 2006: 133-137
[c29]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fecs/RaoSFB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fecs/RaoSFB06
M. R. K. Krishna Rao, Muhammad Shafique, Kanaan A. Faisal, Ahmed Bagais:
Infusing Critical Thinking Skill Compare and Contrast into Content of Data Structures Course. FECS 2006: 53-59
[c28]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fecs/FaisalBR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fecs/FaisalBR06
Kanaan A. Faisal, Ahmed Bagais, M. R. K. Krishna Rao:
Finding Reasons and Conclusion in a Basic Computer Science Course. FECS 2006: 60-66
[c27]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fecs/ShafiqueR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fecs/ShafiqueR06
Muhammad Shafique, M. R. K. Krishna Rao:
Infusing Parts-whole Relationship Critical Thinking Skill into Basic Computer Science Education. FECS 2006: 287-292
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/Rao06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/Rao06
M. R. K. Krishna Rao:
Storytelling and puzzles in a software engineering course. SIGCSE 2006: 418-422
2005
[c25]
- view
  - electronic edition @ uni-bamberg.de
  - no references & citations available
- export record
  dblp key:
  - conf/aaip/Rao05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaip/Rao05
M. R. K. Krishna Rao:
Learning Recursive Prolog Programs with Local Variables from Examples. AAIP 2005: 51-57
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/alt/Rao05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/alt/Rao05
M. R. K. Krishna Rao:
A Class of Prolog Programs with Non-linear Outputs Inferable from Positive Data. ALT 2005: 312-326
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/Rao05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/Rao05
M. R. K. Krishna Rao:
Infusing critical thinking skills into content of AI course. ITiCSE 2005: 173-177
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/RaoJMSAF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/RaoJMSAF05
M. R. K. Krishna Rao, S. Junaidu, Talal Maghrabi, Muhammad Shafique, Motaz Ahmed, Kanaan A. Faisal:
Principles of curriculum design and revision: a case study in implementing computing curricula CC2001. ITiCSE 2005: 256-260
2004
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/alt/Rao04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/alt/Rao04
M. R. K. Krishna Rao:
Inductive Inference of Term Rewriting Systems from Positive Data. ALT 2004: 69-82
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/asian/Rao04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/Rao04
M. R. K. Krishna Rao:
Learnability of Simply-Moded Logic Programs from Entailment. ASIAN 2004: 128-141
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Rao04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Rao04
M. R. K. Krishna Rao:
Input-Termination of Logic Programs. LOPSTR 2004: 215-230
2003
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/Rao03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/Rao03
M. R. K. Krishna Rao:
Polynomial-Time Learnability from Entailment. ICLP 2003: 489-491
1999
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/RaoS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/RaoS99
M. R. K. Krishna Rao, Abdul Sattar:
Learning Logic Programs with Local Variables from Positive Examples. Australian Joint Conference on Artificial Intelligence 1999: 469-471
1998
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/alt/RaoS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/alt/RaoS98
M. R. K. Krishna Rao, Abdul Sattar:
Learning from Entailment of Logic Programs with Local Variables. ALT 1998: 143-157
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/pricai/RaoS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pricai/RaoS98
M. R. K. Krishna Rao, Abdul Sattar:
Learning Linearly-Moded Programs from Entailment. PRICAI 1998: 482-493
1996
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/alt/Rao96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/alt/Rao96
M. R. K. Krishna Rao:
A Class of Prolog Programs Inferable from Positive Data. ALT 1996: 272-284
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/Rao96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/Rao96
M. R. K. Krishna Rao:
Some Characteristics of Strong Innermost Normalization. AMAST 1996: 406-420
[c12]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/iclp/Rao96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/Rao96
M. R. K. Krishna Rao:
Completeness Results for Basic Narrowing in Non-Copying Implementations. JICSLP 1996: 393-407
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/rta/Rao96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/Rao96
M. R. K. Krishna Rao:
Modularity of Termination in Term Graph Rewriting. RTA 1996: 230-244
1995
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/alt/Rao95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/alt/Rao95
M. R. K. Krishna Rao:
Incremental Learning of Logic Programs. ALT 1995: 95-109
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/Rao95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/Rao95
M. R. K. Krishna Rao:
Graph Reducibility of Term Rewriting Systems. MFCS 1995: 371-381
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/RaoS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/RaoS95
M. R. K. Krishna Rao, R. K. Shyamasundar:
Unification-Free Execution of Well-Moded and Well-Typed Prolog Programs. SAS 1995: 243-260
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/Rao95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/Rao95
M. R. K. Krishna Rao:
Semi-Completeness of Hierarchical and Super-Hierarchical Combinations of Term Rewriting Systems. TAPSOFT 1995: 379-393
1994
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/tacs/Rao94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/Rao94
M. R. K. Krishna Rao:
Simple Termination of Hierarchical Combinations of Term Rewriting Systems. TACS 1994: 203-223
1993
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/RaoPS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/RaoPS93
M. R. K. Krishna Rao, Paritosh K. Pandya, R. K. Shyamasundar:
Verification Tools in the Development of Provably Correct Compilers. FME 1993: 442-461
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/Rao93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/Rao93
M. R. K. Krishna Rao:
Completeness of Hierarchical Combinations of term Rewriting Systems. FSTTCS 1993: 125-138
[c3]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iclp/RaoKS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/RaoKS93
M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar:
Proving Termination of GHC Programs. ICLP 1993: 720-736
1992
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/alpuk/ShyamasundarRK92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/alpuk/ShyamasundarRK92
R. K. Shyamasundar, M. R. K. Krishna Rao, Deepak Kapur:
Rewriting Concepts in the Study of Termination of Logic Programs. ALPUK 1992: 3-20
1991
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/RaoKS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/RaoKS91
M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar:
A Transformational Methodology for Proving Termination of Logic Programs. CSL 1991: 213-226

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.