еНаука - преглед
Преглед према Пројекат Representation of Proofs with Applications, Classification of Structures and Infinite Combinatorics
Приказ резултата 1 до 5 од 5
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2004 | Behavioural inverse limit λ-models | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia   ; Likavec, Silvia | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2002 | Coherence in substructural categories | Petrić, Zoran | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2006 | Models of deduction | Došen, Kosta | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2003 | Self-adjunctions and matrices | Došen, Kosta ; Petrić, Zoran | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2003 | The geometry of self-adjunction | Došen, Kosta ; Petrić, Zoran | Научни чланак | Мп категорија ће бити приказана накнадно. |