Вы здесь
Subrahmanyam R.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Extensions to Type Systems Can Preserve Operational Equivalences | 1994 | Riecke J. G., Subrahmanyam R. | Lecture Notes in Computer Science | 30.04.1994 | |||
| СТ | Logical and Computational Aspects of Programming with Sets/Bags/Lists | 1991 | Breazu-Tannen V., Subrahmanyam R. | Lecture Notes in Computer Science | 11.09.1991 |