Истраживачи
Došen, Kosta
Резултати 41-60 од 221
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2011 | Logical Constants and Adjunction | Došen, Kosta   | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | A prologue to the theory of deduction | Došen, Kosta | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | A prologue to the theory of deduction | Došen, Kosta | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 2010 | Coherence for monoidal endofunctors | Došen, Kosta ; Petrić, Zoran | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2010 | Coherence for monoidal monads and comonads | Došen, Kosta ; Petrić, Zoran | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2009 | Bicartesian coherence revisited | Došen, Kosta ; Petrić, Zoran | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 2009 | Coherence in linear predicate logic | Došen, Kosta ; Petrić, Zoran | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2008 | Simplicial endomorphisms | Došen, Kosta | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2008 | Equality of proofs for linear equality | Došen, Kosta ; Petrić, Zoran | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2008 | Simplicial endomorphismis | Došen, Kosta | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2007 | Relevant categories and partial functions | Došen, Kosta ; Petrić, Zoran | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2007 | Medial commutativity | Došen, Kosta ; Petrić, Zoran | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2007 | Coherence and confluence | Došen, Kosta ; Petrić, Zoran | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 2007 | Proof-Net Categories | Došen, Kosta ; Petrić, Zoran | Монографија | Мп категорија ће бити приказана накнадно. |
| 2006 | Associativity as commutativity | Došen, Kosta ; Petrić, Zoran | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2006 | Coherence for star-autonomous categories | Došen, Kosta ; Petrić, Zoran | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2006 | Models of deduction | Došen, Kosta | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2006 | Symmetric self-adjunctions: A justification of Brauer's representation of Brauer's algebras | Došen, Kosta ; Petrić, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2006 | A new proof of the faithfulness of Brauer's representation of Temperley-Lieb algebras | Došen, Kosta ; Kovijanić, Žana; Petrić, Zoran | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2005 | Il programa di Hilbert | Došen, Kosta | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |