M. R. K. Krishna Rao

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Incremental learning of logic programs Lecture Notes in Computer Science	2023-12-08	Paper
Modularity of termination in term graph rewriting Rewriting Techniques and Applications	2022-12-09	Paper
Semi-completeness of hierarchical and super-hierarchical combinations of term rewriting systems TAPSOFT '95: Theory and Practice of Software Development	2022-08-18	Paper
Graph reducibility of term rewriting systems Lecture Notes in Computer Science	2010-06-17	Paper
A class of Prolog programs inferable from positive data Lecture Notes in Computer Science	2010-04-27	Paper
Some classes of term rewriting systems inferable from positive data Theoretical Computer Science	2008-05-28	Paper
Input-Termination of Logic Programs Logic Based Program Synthesis and Transformation	2008-04-24	Paper
Algorithmic Learning Theory Lecture Notes in Computer Science	2006-11-01	Paper
Algorithmic Learning Theory Lecture Notes in Computer Science	2005-08-18	Paper
Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making Lecture Notes in Computer Science	2005-08-17	Paper
Polynomial-time learnability of logic programs with local variables from entailment Theoretical Computer Science	2002-03-03	Paper
Some characteristics of strong innermost normalization Theoretical Computer Science	2000-08-21	Paper
Some classes of Prolog programs inferable from positive data Theoretical Computer Science	2000-08-21	Paper
scientific article; zbMATH DE number 1479616 (Why is no real title available?)	2000-07-20	Paper
scientific article; zbMATH DE number 1354152 (Why is no real title available?)	1999-10-31	Paper
Modular aspects of term graph rewriting Theoretical Computer Science	1999-01-12	Paper
Transformational methodology for proving termination of logic programs The Journal of Logic Programming	1998-11-05	Paper
A framework for incremental learning of logic programs Theoretical Computer Science	1998-07-22	Paper
Modular proofs for completeness of hierarchical term rewriting systems Theoretical Computer Science	1997-02-27	Paper
Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting system Acta Informatica	1995-11-16	Paper
scientific article; zbMATH DE number 408800 (Why is no real title available?)	1993-09-06	Paper

Research outcomes over time

This page was built for person: M. R. K. Krishna Rao