Вы здесь

Rao M.R.K. K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Semi-completeness of Hierarchical and Super-hierarchical Combinations of Term Rewriting Systems 1995 Rao M.R.K. K. Lecture Notes in Computer Science 20.06.1995
СТ Simple Termination of Hierarchical Combinations of Term Rewriting Systems 1994 Rao M.R.K. K. Lecture Notes in Computer Science 30.04.1994
СТ Completeness of Hierarchical Combinations of Term Rewriting Systems 1993 Rao M.R.K. K. Lecture Notes in Computer Science 20.01.1994