Истраживачи
Petrić, Zoran
Тип
Година - распон
Резултати 1-20 од 22
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2009 | Coherence in linear predicate logic | Došen, Kosta | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2008 | Equality of proofs for linear equality | Došen, Kosta | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2007 | Proof-Net Categories | Došen, Kosta | Монографија | Мп категорија ће бити приказана накнадно. |
| 2007 | Medial commutativity | Došen, Kosta | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2007 | Relevant categories and partial functions | Došen, Kosta | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2006 | Coherence for star-autonomous categories | Došen, Kosta | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2006 | A new proof of the faithfulness of Brauer's representation of Temperley-Lieb algebras | Došen, Kosta | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2006 | Associativity as commutativity | Došen, Kosta | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2005 | Coherence of Proof-Net Categories | Došen, Kosta | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2004 | Proof-Theoretical Coherence | Došen, Kosta | Монографија | Мп категорија ће бити приказана накнадно. |
| 2003 | Self-adjunctions and matrices | Došen, Kosta | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2003 | Generality of proofs and its brauerian representation | Došen, Kosta | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2003 | G-dinaturality | Petrić, Zoran | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2003 | The geometry of self-adjunction | Došen, Kosta | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2003 | A Brauerian representation of split preorders | Došen, Kosta | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2002 | Kauffman monoids![]() | Borisavljević, Mirjana | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2002 | Coherence in substructural categories | Petrić, Zoran | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2002 | Bicartesian coherence | Došen, Kosta | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2001 | The typed Böhm theorem | Došen, Kosta | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2001 | Coherent bicartesian and sesquicartesian categories | Došen, Kosta | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
