Вы здесь
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 |