Petrić, Zoran

Type

Date issued

Mp-cat.

Date issued - custom

Year from:

Year to:

Results 41-60 of 61 Results/Page

Issue Date	Title	Author(s)	Type	Мp-cat.
2007	Medial commutativity	Došen, Kosta ; Petrić, Zoran	Научни чланак	22M22 - Међународни часопис категорије M22
2006	A new proof of the faithfulness of Brauer's representation of Temperley-Lieb algebras	Došen, Kosta ; Kovijanić, Žana; Petrić, Zoran	Научни чланак	22M22 - Међународни часопис категорије M22
2006	Coherence for star-autonomous categories	Došen, Kosta ; Petrić, Zoran	Научни чланак	22M22 - Међународни часопис категорије M22
2006	Associativity as commutativity	Došen, Kosta ; Petrić, Zoran	Научни чланак	22M22 - Међународни часопис категорије M22
2005	Coherence of Proof-Net Categories	Došen, Kosta ; Petrić, Zoran	Научни чланак	Мп категорија ће бити приказана накнадно.
2004	Proof-Theoretical Coherence	Došen, Kosta ; Petrić, Zoran	Монографија	Мп категорија ће бити приказана накнадно.
2003	G-dinaturality	Petrić, Zoran	Научни чланак	21M21 - Водећи међународни часопис категорије M21
2003	The geometry of self-adjunction	Došen, Kosta ; Petrić, Zoran	Научни чланак	Мп категорија ће бити приказана накнадно.
2003	Self-adjunctions and matrices	Došen, Kosta ; Petrić, Zoran	Научни чланак	22M22 - Међународни часопис категорије M22
2003	Generality of proofs and its brauerian representation	Došen, Kosta ; Petrić, Zoran	Научни чланак	22M22 - Међународни часопис категорије M22
2003	A Brauerian representation of split preorders	Došen, Kosta ; Petrić, Zoran	Научни чланак	22M22 - Међународни часопис категорије M22
2002	Kauffman monoids	Borisavljević, Mirjana ; Došen, Kosta ; Petrić, Zoran	Научни чланак	22M22 - Међународни часопис категорије M22
2002	Bicartesian coherence	Došen, Kosta ; Petrić, Zoran	Научни чланак	Мп категорија ће бити приказана накнадно.
2002	Coherence in substructural categories	Petrić, Zoran	Научни чланак	Мп категорија ће бити приказана накнадно.
2001	The typed Böhm theorem	Došen, Kosta ; Petrić, Zoran	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2001	The maximality of cartesian categories	Došen, Kosta ; Petrić, Zoran	Научни чланак	22M22 - Међународни часопис категорије M22
2001	Coherent bicartesian and sesquicartesian categories	Došen, Kosta ; Petrić, Zoran	Научни чланак	21M21 - Водећи међународни часопис категорије M21
2000	The maximality of the typed lambda calculus and of cartesian closed categories	Došen, Kosta ; Petrić, Zoran	Научни чланак	Мп категорија ће бити приказана накнадно.
1999	Cartesian isomorphisms are symmetric monoidal: A justification of linear logic	Došen, Kosta ; Petrić, Zoran	Научни чланак	21M21 - Водећи међународни часопис категорије M21
1997	Jednakosti izvođenja u kategorijalnoj teoriji dokaza	Petrić, Zoran	Докторска дисертација	70M70 - Одбрањена докторска дисертација