Вы здесь

Bierman G. M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ What is a Categorical Model of Intuitionistic Linear Logic? 1995 Bierman G. M. Lecture Notes in Computer Science 14.04.1995
СТ 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