Вы здесь
Venkatesh G.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | 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 | |||
| СТ | A Propositional Dense Time Logic | 1993 | Ahmed M., Venkatesh G. | Lecture Notes in Computer Science | 26.05.1993 |