Вы здесь

Setzer A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Weak Bisimulation Approximants 2006 Harwood W., Moller F., Setzer A. Lecture Notes in Computer Science Lecture Notes in Computer Science 20.10.2006
СТ Java as a Functional Programming Language 2003 Setzer A. Lecture Notes in Computer Science 29.05.2003
СТ Inductive Definitions with Decidable Atomic Formulas 1997 Setzer A. Lecture Notes in Computer Science 18.07.1997