Вы здесь
Bierman G. M.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Inferring the Principal Type and the Schema Requirements of an OQL Query | 2001 | Trigoni A., Bierman G. M. | Lecture Notes in Computer Science | 25.07.2001 | |||
СТ | What is a Categorical Model of Intuitionistic Linear Logic? | 1995 | Bierman G. M. | Lecture Notes in Computer Science | 14.04.1995 |