Истраживачи

Резултати 21-40 од 221
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2014An introduction to deductionDošen, Kosta  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2014General proof theoryDošen, Kosta  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2014Algebras of deductions in category theoryDošen, Kosta  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2013Intuitionistic logic in categorial proof theoryDošen, Kosta  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2013Ordinals in Frobenius monadsDošen, Kosta  ; Petrić, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22
2013Algebre dedukcija u teoriji kategorijaDošen, Kosta  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2013Democarcy and mathematicsDošen, Kosta  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2013Graphs of plural cutsDošen, Kosta  ; Petrić, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22
2013Syntax for split preordersDošen, Kosta  ; Petrić, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22
2013Proof theory and deduction theoryDošen, Kosta  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2013Two ways of general proof theoryDošen, Kosta  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2012The main question of general proof theoryDošen, Kosta  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2012Symmetric self-adjunctions and matricesDošen, Kosta  ; Petrić, Zoran  Научни чланак
23M23 - Међународни часопис категорије M23
2012Invariants for classification of propositional formulaePetrić, Zoran  ; Došen, Kosta  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2012IntermutationDošen, Kosta  ; Petrić, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22
2012Isomorphic formulae in classical propositional logicDošen, Kosta  ; Petrić, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22
2012Inferential semanticsDošen, Kosta  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2012Shuffles and concatenations in the construction of graphsDošen, Kosta  ; Petrić, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22
2011Logical Constants and AdjunctionDošen, Kosta  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2011Coherence for modalitiesDošen, Kosta  ; Petrić, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22