Вы здесь
Blanqui F.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Decidability of Type-Checking in the Calculis of Algebraic Constructions with Size Annotations | 2005 | Blanqui F. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 19.10.2005 | ||
| СТ | The Calculus of Algebraic Constructions | 1999 | Blanqui F., Jouannaud J. -P., Okada M. | Lecture Notes in Computer Science | 15.07.1999 |