Вы здесь

Noll T.

Автор:

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