Вы здесь

Cosmadakis S. S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Complete Proof Systems for Algebraic Simply-Typed Terms 1994 Cosmadakis S. S. LISP Pointers 16.01.1995
СТ Linear vs. Polynomial Constraints in Database Query Languages 1994 Afrati F., Cosmadakis S. S., Grumbach S., Kuper G. M. Lecture Notes in Computer Science 22.12.1994