Došen, Kosta

Тип

Година

81 2000 - 2027
140 1901 - 1999

Мп-кат.

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

Година од:

Година до:

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

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
2014	An introduction to deduction	Došen, Kosta	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2014	General proof theory	Došen, Kosta	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2014	Algebras of deductions in category theory	Došen, Kosta	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2013	Democarcy and mathematics	Došen, Kosta	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2013	Algebre dedukcija u teoriji kategorija	Došen, Kosta	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2013	Ordinals in Frobenius monads	Došen, Kosta ; Petrić, Zoran	Научни чланак	22M22 - Међународни часопис категорије M22
2013	Intuitionistic logic in categorial proof theory	Došen, Kosta	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2013	Syntax for split preorders	Došen, Kosta ; Petrić, Zoran	Научни чланак	22M22 - Међународни часопис категорије M22
2013	Graphs of plural cuts	Došen, Kosta ; Petrić, Zoran	Научни чланак	22M22 - Међународни часопис категорије M22
2013	Proof theory and deduction theory	Došen, Kosta	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2013	Two ways of general proof theory	Došen, Kosta	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2012	Inferential semantics	Došen, Kosta	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2012	Intermutation	Došen, Kosta ; Petrić, Zoran	Научни чланак	22M22 - Међународни часопис категорије M22
2012	Invariants for classification of propositional formulae	Petrić, Zoran ; Došen, Kosta	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2012	The main question of general proof theory	Došen, Kosta	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2012	Symmetric self-adjunctions and matrices	Došen, Kosta ; Petrić, Zoran	Научни чланак	23M23 - Међународни часопис категорије M23
2012	Isomorphic formulae in classical propositional logic	Došen, Kosta ; Petrić, Zoran	Научни чланак	22M22 - Међународни часопис категорије M22
2012	Shuffles and concatenations in the construction of graphs	Došen, Kosta ; Petrić, Zoran	Научни чланак	22M22 - Међународни часопис категорије M22
2011	Coherence for modalities	Došen, Kosta ; Petrić, Zoran	Научни чланак	22M22 - Међународни часопис категорије M22
2011	Hypergraph polytopes	Došen, Kosta ; Petrić, Zoran	Научни чланак	22M22 - Међународни часопис категорије M22