The following pages link to M. R. K. Krishna Rao (Q924173):
Displaying 7 items.
- Some classes of term rewriting systems inferable from positive data (Q924174) (← links)
- Modular aspects of term graph rewriting (Q1275016) (← links)
- Modular proofs for completeness of hierarchical term rewriting systems (Q1350349) (← links)
- A framework for incremental learning of logic programs (Q1390950) (← links)
- Some characteristics of strong innermost normalization (Q1575274) (← links)
- Some classes of Prolog programs inferable from positive data (Q1575466) (← links)
- Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting system (Q1901710) (← links)
