M. R. K. Krishna Rao

Publications

156

Citations

H-Index

1995

Active since

Affiliations

King Fahd University of Petroleum and Minerals(Current)

Tata Institute of Fundamental Research

M. R. K. Krishna Rao is an author at King Fahd University of Petroleum and Minerals specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceEducationFormal MethodsAutomated ReasoningFormal VerificationVerificationLearning AnalyticsCognitive ScienceCritical Thinking

Publications per year

1995–2006

Publications

Modular proofs for completeness of hierarchical term rewriting systems

M. R. K. Krishna Rao · Theoretical Computer Science · 1995 · 36 citations

Engineering, Automated Reasoning, Regulated Rewriting +7

Transformational methodology for proving termination of logic programs

M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar · The Journal of Logic Programming · 1998 · 27 citations

Applied Logic, Engineering, Transformational Methodology +8

Proving termination of GHC programs

M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar · New Generation Computing · 1997 · 17 citations

Ghc Programs, Engineering, Automated Reasoning +7

Some characteristics of strong innermost normalization

M. R. K. Krishna Rao · Theoretical Computer Science · 2000 · 15 citations

Text Normalization, Data Normalization, Functional Analysis +2

Some classes of prolog programs inferable from positive data

M. R. K. Krishna Rao · Theoretical Computer Science · 2000 · 15 citations

Declarative Programming, Engineering, Automated Reasoning +6

Rows per page

1–5 of 9