Istraživači
Došen, Kosta
Rezultati 61-80 od 221
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2005 | Il programa di Hilbert | Došen, Kosta   | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 2005 | Coherence of Proof-Net Categories | Došen, Kosta ; Petrić, Zoran | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2004 | Proof-Theoretical Coherence | Došen, Kosta ; Petrić, Zoran | Monografija | Mp kategorija će biti prikazana naknadno. |
| 2003 | The geometry of self-adjunction | Došen, Kosta ; Petrić, Zoran | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2003 | Generality of proofs and its brauerian representation | Došen, Kosta ; Petrić, Zoran | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2003 | Self-adjunctions and matrices | Došen, Kosta ; Petrić, Zoran | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2003 | A Brauerian representation of split preorders | Došen, Kosta ; Petrić, Zoran | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2003 | IDentity Of Proofs Based On Normalization And Generality | Došen, Kosta | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2002 | Kauffman monoids | Borisavljević, Mirjana ; Došen, Kosta ; Petrić, Zoran | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2002 | Bicartesian coherence | Došen, Kosta ; Petrić, Zoran | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2001 | A note on the set-theoretic representation of arbitrary lattices | Došen, Kosta | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 2001 | Greg Restall, "An Introduction to Substructural Logics" - Routledge, London, 2000 | Došen, Kosta | Informativni prilog | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2001 | Coherent bicartesian and sesquicartesian categories | Došen, Kosta ; Petrić, Zoran | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2001 | The maximality of cartesian categories | Došen, Kosta ; Petrić, Zoran | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2001 | The Typed Böhm Theorem | Došen, Kosta ; Petrić, Zoran | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2001 | Abstraction and application in adjunction | Došen, Kosta | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2001 | Coherent bicartesian and sesquicartesian categories | Došen, Kosta ; Petrić, Zoran | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2001 | The maximility of Cartesian categories | Došen, Kosta ; Petrić, Zoran | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2001 | The typed Böhm theorem | Došen, Kosta ; Petrić, Zoran | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2000 | The maximality of the typed lambda calculus and of cartesian closed categories | Došen, Kosta ; Petrić, Zoran | Naučni članak | Mp kategorija će biti prikazana naknadno. |