MPI-INF Logo
Publications

Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
1996Krishna Rao, M. R. K.Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting systems
In: Acta Informatica [33], 595-606		Journal Article
1996Krishna Rao, M. R. K.Some characteristics of strong innermost normalization
In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, 406-420		Proceedings Article
1995Krishna Rao, M. R. K.Graph reducibility of term rewriting systems
In: Proceedings of Mathematical Foundations of Computer Science, 371-381		Proceedings Article
1995Krishna Rao, M. R. K.Incremental Learning of Logic Programs
In: Proceedings of International Workshop on Algorithmic Learning Theory, 95-109		Proceedings Article
1995Krishna Rao, M. R. K.Modular Proofs for Completeness of hierarchical term rewriting systems
In: Theoretical Computer Science [151], 487-512		Journal Article
1995Krishna Rao, M. R. K.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
1995Krishna Rao, M. R. K.
Shyamasundar, R. K.		Unification-free Execution of Well-moded Prolog Programs
In: Proc. of International Static Analysis Symposium, 243-260		Proceedings Article
2
Show details for Kruse, Rudolf (ed.)Kruse, Rudolf (ed.)
3
Show details for Kruse, R. (ed.)Kruse, R. (ed.)
1
Show details for Kucera, Antonin (ed.)Kucera, Antonin (ed.)
1
Show details for Kuncak, ViktorKuncak, Viktor
4
Show details for Kunze, Jürgen (ed.)Kunze, Jürgen (ed.)
1
Show details for Kunze, J. (ed.)Kunze, J. (ed.)
1
Show details for Kupferschmid, SebastianKupferschmid, Sebastian
1
Show details for Kwiatkowska, Marta (ed.)Kwiatkowska, Marta (ed.)
1
Show details for Lakemeyer, Gerhard (ed.)Lakemeyer, Gerhard (ed.)
1
Show details for Lam, PatrickLam, Patrick
2
Show details for Lang, JérômeLang, Jérôme
1
Show details for Lang, Jerome (ed.)Lang, Jerome (ed.)
1
Show details for Laskey, Kathryn B. (ed.)Laskey, Kathryn B. (ed.)
1
Show details for Lassez, J. L. (ed.)Lassez, J. L. (ed.)
2
Show details for Laux, Arnim (ed.)Laux, Arnim (ed.)
1
Show details for Lau, Kung-Kiu (ed.)Lau, Kung-Kiu (ed.)
1
Show details for Lau, K. K. (ed.)Lau, K. K. (ed.)
1
Show details for Le Charlier, Baudouin (ed.)Le Charlier, Baudouin (ed.)
1
Show details for Le Métayer, Daniel (ed.)Le Métayer, Daniel (ed.)
1
Show details for Leeser, M. E.Leeser, M. E.
3
Show details for Lee, Chin SoonLee, Chin Soon
1
Show details for Lee, Sau DanLee, Sau Dan
2
Show details for Lee, Shie-JueLee, Shie-Jue

Next Page