Вы здесь
Sanyal A.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness | 1995 | Satpathy M., Sanyal A., Venkatesh G. | Lecture Notes in Computer Science | 12.01.1996 | |||
| СТ | Labeled -Calculus and a Generalised Notion of Strictness | 1995 | Gandhe M., Venkatesh G., Sanyal A. | Lecture Notes in Computer Science | 12.01.1996 |