Истраживачи
Došen, Kosta
Резултати 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 | Intuitionistic logic in categorial proof theory | Došen, Kosta | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2013 | Ordinals in Frobenius monads | Došen, Kosta ; Petrić, Zoran | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2013 | Algebre dedukcija u teoriji kategorija | Došen, Kosta | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2013 | Democarcy and mathematics | Došen, Kosta | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2013 | Graphs of plural cuts | Došen, Kosta ; Petrić, Zoran | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2013 | Syntax for split preorders | 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 | The main question of general proof theory | Došen, Kosta | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Symmetric self-adjunctions and matrices | Došen, Kosta ; Petrić, Zoran | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2012 | Invariants for classification of propositional formulae | Petrić, Zoran ; Došen, Kosta | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Intermutation | Došen, Kosta ; Petrić, Zoran | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2012 | Isomorphic formulae in classical propositional logic | Došen, Kosta ; Petrić, Zoran | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2012 | Inferential semantics | Došen, Kosta | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Shuffles and concatenations in the construction of graphs | Došen, Kosta ; Petrić, Zoran | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2011 | Logical Constants and Adjunction | Došen, Kosta | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | Coherence for modalities | Došen, Kosta ; Petrić, Zoran | Научни чланак | 22M22 - Међународни часопис категорије M22 |