M. R. K. Krishna Rao

Available identifiers

zbMath Open rao.m-r-k-krishnaMaRDI QIDQ924173

List of research outcomes

Publication	Date of Publication	Type
Incremental learning of logic programs	2023-12-08	Paper
Modularity of termination in term graph rewriting	2022-12-09	Paper
Semi-completeness of hierarchical and super-hierarchical combinations of term rewriting systems	2022-08-18	Paper
Graph reducibility of term rewriting systems	2010-06-17	Paper
A class of prolog programs inferable from positive data	2010-04-27	Paper
Some classes of term rewriting systems inferable from positive data	2008-05-28	Paper
Input-Termination of Logic Programs	2008-04-24	Paper
Algorithmic Learning Theory	2006-11-01	Paper
Algorithmic Learning Theory	2005-08-18	Paper
Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making	2005-08-17	Paper
Some characteristics of strong innermost normalization	2000-08-21	Paper
Some classes of Prolog programs inferable from positive data	2000-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q4490728	2000-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q4268467	1999-10-31	Paper
Modular aspects of term graph rewriting	1999-01-12	Paper
Transformational methodology for proving termination of logic programs	1998-11-05	Paper
A framework for incremental learning of logic programs	1998-07-22	Paper
Modular proofs for completeness of hierarchical term rewriting systems	1997-02-27	Paper
Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting system	1995-11-16	Paper
https://portal.mardi4nfdi.de/entity/Q4202945	1993-09-06	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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