Вы здесь
Lindell S.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A Constant-Space Sequential Model of Computation for First-Order Logic | 1995 | Lindell S. | Lecture Notes in Computer Science | Logic and Computational Complexity | 27.09.1995 |