Вы здесь
Noll T.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | On Coherence Properties in Term Rewriting Models of Concurrency | 1999 | Noll T. | Lecture Notes in Computer Science | 15.09.1999 | |||
| СТ | The WHILE Hierarchy of Program Schemes Is Infinite | 1998 | Albayrak C. A., Noll T. | Lecture Notes in Computer Science | 18.04.1998 | |||
| СТ | Verifying Generic Erlang Client-Server Implementations | 2001 | Arts T., Noll T. | Lecture Notes in Computer Science | 23.05.2001 |