Вы здесь

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