Вы здесь
Revesz G. E.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A List-Oriented Extension of the Lambda-Calculus Satisfying the Church-Rosser Theorem | 1992 | Revesz G. E. | Theoretical Computer Science | 29.02.1992 |