eNauka - pregled
Pregled prema Projekat Representation of Proofs with Applications, Classification of Structures and Infinite Combinatorics
Prikaz rezultata 1 do 5 od 5
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2004 | Behavioural inverse limit λ-models | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia   ; Likavec, Silvia | Article | 22M22 |
| 2002 | Coherence in substructural categories | Petrić, Zoran | Article | Mp. category will be shown later |
| 2006 | Models of deduction | Došen, Kosta | Article | 22M22 |
| 2003 | Self-adjunctions and matrices | Došen, Kosta ; Petrić, Zoran | Article | 22M22 |
| 2003 | The geometry of self-adjunction | Došen, Kosta ; Petrić, Zoran | Article | Mp. category will be shown later |