Вы здесь

Krishna Rao M.R. K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Unification-free Execution of Well-moded and Well-typed Prolog Programs 1995 Krishna Rao M.R. K., Shyamasundar R. K. Lecture Notes in Computer Science Static Analysis 17.11.1995
СТ Graph Reducibility of Term Rewriting Systems 1995 Krishna Rao M.R. K. Lecture Notes in Computer Science Mathematical Foundations of Computer Science 1995 21.10.1995
СТ Verification Tools in the Development of Provably Correct Compilers 1993 Krishna Rao M.R. K., Pandya P. K., Shyamasundar R. K. Lecture Notes in Computer Science 27.05.1993