Библиография

Автор Заглавие Тип [ Година

]

Филтри: First Letter Of Title is S and Автор is Milena Stefanova [Изчисти всички филтри]

1998

Stefanova M. 1998. A SCHEMATIC PROOF OF STRONG NORMALIZATION FOR THE SYSTEMS OF THE $\lambda$-CUBE*. Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique. 90(Livre 1 - Mathématiques et Mecanique):17-40.

90-017-040.pdf (1.97 MB)