Вы здесь

Bethke I.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Process Algebra with Combinators 1994 Bergstra J. A., Bethke I., Ponse A. Lecture Notes in Computer Science 25.08.1994
СТ Decision problems for pushdown threads 2007 Bergstra J. A., Bethke I., Ponse A. Acta Informatica 26.06.2007