Došen, Kosta

Тип

Година

Мп-кат.

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

Година од:

Година до:

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

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
2005	Il programa di Hilbert	Došen, Kosta	Поглавље у монографији	Мп категорија ће бити приказана накнадно.
2005	Coherence of Proof-Net Categories	Došen, Kosta ; Petrić, Zoran	Научни чланак	Мп категорија ће бити приказана накнадно.
2004	Proof-Theoretical Coherence	Došen, Kosta ; Petrić, Zoran	Монографија	Мп категорија ће бити приказана накнадно.
2003	A Brauerian representation of split preorders	Došen, Kosta ; Petrić, Zoran	Научни чланак	22M22 - Међународни часопис категорије M22
2003	IDentity Of Proofs Based On Normalization And Generality	Došen, Kosta	Научни чланак	21M21 - Водећи међународни часопис категорије M21
2003	Generality of proofs and its brauerian representation	Došen, Kosta ; Petrić, Zoran	Научни чланак	22M22 - Међународни часопис категорије M22
2003	The geometry of self-adjunction	Došen, Kosta ; Petrić, Zoran	Научни чланак	Мп категорија ће бити приказана накнадно.
2003	Self-adjunctions and matrices	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	Научни чланак	Мп категорија ће бити приказана накнадно.
2001	The Typed Böhm Theorem	Došen, Kosta ; Petrić, Zoran	Научни чланак	Мп категорија ће бити приказана накнадно.
2001	Abstraction and application in adjunction	Došen, Kosta	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2001	Coherent bicartesian and sesquicartesian categories	Došen, Kosta ; Petrić, Zoran	Научни чланак	21M21 - Водећи међународни часопис категорије M21
2001	The typed Böhm theorem	Došen, Kosta ; Petrić, Zoran	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2001	The maximility of Cartesian categories	Došen, Kosta ; Petrić, Zoran	Научни чланак	22M22 - Међународни часопис категорије M22
2001	Greg Restall, "An Introduction to Substructural Logics" - Routledge, London, 2000	Došen, Kosta	Информативни прилог	21M21 - Водећи међународни часопис категорије M21
2001	Coherent bicartesian and sesquicartesian categories	Došen, Kosta ; Petrić, Zoran	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2001	A note on the set-theoretic representation of arbitrary lattices	Došen, Kosta	Поглавље у монографији	Мп категорија ће бити приказана накнадно.
2001	The maximality of cartesian categories	Došen, Kosta ; Petrić, Zoran	Научни чланак	22M22 - Међународни часопис категорије M22
2000	The maximality of the typed lambda calculus and of cartesian closed categories	Došen, Kosta ; Petrić, Zoran	Научни чланак	Мп категорија ће бити приказана накнадно.