Вы здесь

Noll T.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ Verifying Generic Erlang Client-Server Implementations 2001 Arts T., Noll T. Lecture Notes in Computer Science 23.05.2001