Došen, Kosta

Тип

Година

81 2000 - 2027
140 1000 - 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	Conference Paper	Mp. category will be shown later
2013	Intuitionistic logic in categorial proof theory	Došen, Kosta	Conference Paper	Mp. category will be shown later
2013	Ordinals in Frobenius monads	Došen, Kosta ; Petrić, Zoran	Article	22M22
2013	Algebre dedukcija u teoriji kategorija	Došen, Kosta	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2013	Democarcy and mathematics	Došen, Kosta	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2013	Two ways of general proof theory	Došen, Kosta	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2013	Proof theory and deduction theory	Došen, Kosta	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2013	Graphs of plural cuts	Došen, Kosta ; Petrić, Zoran	Article	22M22
2013	Syntax for split preorders	Došen, Kosta ; Petrić, Zoran	Article	22M22
2012	Symmetric self-adjunctions and matrices	Došen, Kosta ; Petrić, Zoran	Naučni članak	23M23 - Međunarodni časopis kategorije M23
2012	Inferential semantics	Došen, Kosta	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2012	The main question of general proof theory	Došen, Kosta	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2012	Isomorphic formulae in classical propositional logic	Došen, Kosta ; Petrić, Zoran	Naučni članak	22M22 - Međunarodni časopis kategorije M22
2012	Intermutation	Došen, Kosta ; Petrić, Zoran	Naučni članak	22M22 - Međunarodni časopis kategorije M22
2012	Invariants for classification of propositional formulae	Petrić, Zoran ; Došen, Kosta	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2012	Shuffles and concatenations in the construction of graphs	Došen, Kosta ; Petrić, Zoran	Naučni članak	22M22 - Međunarodni časopis kategorije M22
2011	Logical Constants and Adjunction	Došen, Kosta	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2011	Hypergraph polytopes	Došen, Kosta ; Petrić, Zoran	Naučni članak	22M22 - Međunarodni časopis kategorije M22