Вы здесь
Hermida C.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | An algebraic view of structural induction | 1995 | Hermida C., Jacobs B. | Lecture Notes in Computer Science | Computer Science Logic | 24.09.1995 | ||
| СТ | Fibrational control structures | 1995 | Hermida C., Power J. | Lecture Notes in Computer Science | CONCUR 95: Concurrency Theory | 14.10.1995 |