Истраживачи

Филтрирано по:
Година:  [2000 TO 2009]

Резултати 1-20 од 22
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2009Coherence in linear predicate logicDošen, Kosta  ; Petrić, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22
2008Equality of proofs for linear equalityDošen, Kosta  ; Petrić, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22
2007Proof-Net CategoriesDošen, Kosta  ; Petrić, Zoran  Монографија
Мп категорија ће бити приказана накнадно.
2007Medial commutativityDošen, Kosta  ; Petrić, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22
2007Relevant categories and partial functionsDošen, Kosta  ; Petrić, Zoran  Научни чланак
Мп категорија ће бити приказана накнадно.
2006Coherence for star-autonomous categoriesDošen, Kosta  ; Petrić, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22
2006A new proof of the faithfulness of Brauer's representation of Temperley-Lieb algebrasDošen, Kosta  ; Kovijanić, Žana; Petrić, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22
2006Associativity as commutativityDošen, Kosta  ; Petrić, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22
2005Coherence of Proof-Net CategoriesDošen, Kosta  ; Petrić, Zoran  Научни чланак
Мп категорија ће бити приказана накнадно.
2004Proof-Theoretical CoherenceDošen, Kosta  ; Petrić, Zoran  Монографија
Мп категорија ће бити приказана накнадно.
2003Self-adjunctions and matricesDošen, Kosta  ; Petrić, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22
2003Generality of proofs and its brauerian representationDošen, Kosta  ; Petrić, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22
2003G-dinaturalityPetrić, Zoran  Научни чланак
21M21 - Водећи међународни часопис категорије M21
2003The geometry of self-adjunctionDošen, Kosta  ; Petrić, Zoran  Научни чланак
Мп категорија ће бити приказана накнадно.
2003A Brauerian representation of split preordersDošen, Kosta  ; Petrić, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22
2002Kauffman monoidsBorisavljević, Mirjana  ; Došen, Kosta  ; Petrić, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22
2002Coherence in substructural categoriesPetrić, Zoran  Научни чланак
Мп категорија ће бити приказана накнадно.
2002Bicartesian coherenceDošen, Kosta  ; Petrić, Zoran  Научни чланак
Мп категорија ће бити приказана накнадно.
2001The typed Böhm theoremDošen, Kosta  ; Petrić, Zoran  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2001Coherent bicartesian and sesquicartesian categoriesDošen, Kosta  ; Petrić, Zoran  Научни чланак
21M21 - Водећи међународни часопис категорије M21