Вы здесь

Blass A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Why Sets? 2008 Blass A., Gurevich Y. Lecture Notes in Computer Science Lecture Notes in Computer Science 15.04.2008
СТ Abstract State Machines Capture Parallel Algorithms 2004 Blass A., Gurevich Yu. Moscow Computer Sience School 2004 - ASM: Abstract State Machine 29.10.2004
СТ Is Game Semantics Necessary? 1994 Blass A. Lecture Notes in Computer Science 25.08.1994