Вы здесь
Sivakumar G.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A New Method for Proving Termination of AC-Rewrite Systems | 1900 | Kapur D., Sivakumar G., Zhang H. | Lecture Notes in Computer Science | 05.03.1991 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Foundations of Software Technology and Theoretical Computer Science: Proc./17th Conf. Kharagpur, India, December 1997 | 1997 | Lecture Notes in Computer Science |
|
09.01.1998 |