Došen, Kosta

Тип

Година

81 2000 - 2027
140 1000 - 1999

Мп-кат.

Година - распон

Година од:

Година до:

Резултати 41-60 од 221 Резултати/страница

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
2011	Coherence for modalities	Došen, Kosta ; Petrić, Zoran	Научни чланак	22M22 - Међународни часопис категорије M22
2010	Coherence for monoidal monads and comonads	Došen, Kosta ; Petrić, Zoran	Научни чланак	22M22 - Међународни часопис категорије M22
2010	Coherence for monoidal endofunctors	Došen, Kosta ; Petrić, Zoran	Научни чланак	22M22 - Међународни часопис категорије M22
2010	A prologue to the theory of deduction	Došen, Kosta	Поглавље у монографији	Мп категорија ће бити приказана накнадно.
2010	A prologue to the theory of deduction	Došen, Kosta	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2009	Coherence in linear predicate logic	Došen, Kosta ; Petrić, Zoran	Научни чланак	22M22 - Међународни часопис категорије M22
2009	Bicartesian coherence revisited	Došen, Kosta ; Petrić, Zoran	Поглавље у монографији	Мп категорија ће бити приказана накнадно.
2008	Equality of proofs for linear equality	Došen, Kosta ; Petrić, Zoran	Научни чланак	22M22 - Међународни часопис категорије M22
2008	Simplicial endomorphismis	Došen, Kosta	Научни чланак	23M23 - Међународни часопис категорије M23
2008	Simplicial endomorphisms	Došen, Kosta	Научни чланак	23M23 - Међународни часопис категорије M23
2007	Proof-Net Categories	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	Relevant categories and partial functions	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
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	Associativity as commutativity	Došen, Kosta ; Petrić, Zoran	Научни чланак	22M22 - Међународни часопис категорије M22
2005	Negation and involutive adjunctions	Došen, Kosta	Поглавље у монографији	Мп категорија ће бити приказана накнадно.