| | 1996 | Krishna Rao, M. R. K. | Maher, Michael | | Completeness results for basic narrowing in non-copying implementations
In: Logic Programming, 393-407 | Proceedings Article | |
| | 1996 | Krishna Rao, M. R. K. | Wirsing, Martin
Nivat, Maurice | | Some characteristics of strong innermost normalization
In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, 406-420 | Proceedings Article | |
| | 1995 | Krishna Rao, M. R. K. | Jantke, Klaus
Shinohara, Takeshi
Zeugmann, Thomas | | Incremental Learning of Logic Programs
In: Proceedings of International Workshop on Algorithmic Learning Theory, 95-109 | Proceedings Article | |
| | 1995 | Krishna Rao, M. R. K. | [Mosses, Peter]
[Nielsen, Mogens]
[Schwartzbach, Michael] | | Semi-completeness of Hierarchical and Super-hierarchical Combinations of Term Rewriting Systems
In: Proceedings of the 6th Joint Conference on Theory and Practice of Software Development, 379-393 | Proceedings Article | |
| | 1995 | Krishna Rao, M. R. K.
Shyamasundar, R. K. | Mycroft, Alan | | Unification-free Execution of Well-moded Prolog Programs
In: Proc. of International Static Analysis Symposium, 243-260 | Proceedings Article | |
| | 1995 | Krishna Rao, M. R. K. | [Wiedermann, Jirí]
[Hájek, Petr] | | Graph reducibility of term rewriting systems
In: Proceedings of Mathematical Foundations of Computer Science, 371-381 | Proceedings Article | |
1 |
| Le Charlier, Baudouin (ed.) |
| |