Došen, Kosta

Network Lab View Statistics Email Alert

Profile

Loading... 3 0 20 0 false
Full Name
Došen, Kosta
Scopus Author ID
Country
Serbia
Loading... 2 0 20 0 false

Publications


Results 1-20 of 68 (Search time: 0.001 seconds).

Author(s)TitleIssue DateAppears inRank
1Došen, Kosta ; Adžić, MilošGödel on Deduction15-Feb-2019Studia Logica; 107(1); 31-51M22
2Došen, Kosta ; Adžić, MilošGödel’s Natural Deduction1-Apr-2018Studia Logica; 106(2); 397-415M22
23Došen, Kosta ; Petrić, Zoran Representing conjunctive deductions by disjunctive deductions1-Mar-2017Review of Symbolic Logic; 10(1); 145-157M21
24Adžić, Miloš; Došen, Kosta Gödel's notre dame course1-Dec-2016Bulletin of Symbolic Logic; 22(4); 469-481M21
25Došen, Kosta ; Petrić, Zoran Weak cat-operads25-Mar-2015Logical Methods in Computer Science; 11(1)M22
26Došen, Kosta ; Petrić, Zoran A planarity criterion for graphs1-Jan-2015SIAM Journal on Discrete Mathematics; 29(4); 2160-2165M22
27Došen, Kosta Inferential Semantics1-Jan-2015Dag Prawitz on Proofs and Meaning; 7; 147-162
28Došen, Kosta ; Petrić, Zoran Graphs of plural cuts6-May-2013Theoretical Computer Science; 484; 41-55M23
29Došen, Kosta ; Petrić, Zoran Ordinals in Frobenius monads1-Apr-2013Journal of Pure and Applied Algebra; 217(4); 763-778M22
30Došen, Kosta ; Petrić, Zoran Syntax for split preorders1-Apr-2013Annals of Pure and Applied Logic; 164(4); 443-481M22
31Došen, Kosta ; Petrić, Zoran Shuffles and concatenations in the construction of graphs1-Dec-2012Mathematical Structures in Computer Science; 22(6); 904-930M22
32Došen, Kosta ; Petrić, Zoran Symmetric self-adjunctions and matrices1-Dec-2012Algebra Colloquium; 19(SPL. ISS. 1); 1051-1082
33Došen, Kosta ; Petrić, Zoran Intermutation1-Feb-2012Applied Categorical Structures; 20(1); 43-95M23
34Došen, Kosta ; Petrić, Zoran Isomorphic formulae in classical propositional logic1-Feb-2012Mathematical Logic Quarterly; 58(1-2); 5-17M23
35Došen, Kosta ; Petrić, Zoran Invariants for classification of propositional formulae2012Workshop “Cross Perspectives on Proof Systems and their Significance”, École normale supérieure ParisM30
36Došen, Kosta ; Petrić, Zoran Hypergraph polytopes1-Aug-2011Topology and its Applications; 158(12); 1405-1444M23
37Došen, Kosta ; Petrić, Zoran Coherence for modalities1-Jul-2011Journal of Pure and Applied Algebra; 215(7); 1606-1628M22
38Došen, Kosta ; Petrić, Zoran Coherence for monoidal endofunctors1-Aug-2010Mathematical Structures in Computer Science; 20(4); 523-543M23
39Došen, Kosta ; Petrić, Zoran Coherence for monoidal monads and comonads1-Aug-2010Mathematical Structures in Computer Science; 20(4); 545-561M23
40Došen, Kosta ; Petrić, Zoran Coherence in linear predicate logic1-Mar-2009Annals of Pure and Applied Logic; 158(1-2); 125-153M22

Projects


Results 1-1 of 1 (Search time: 0.001 seconds).

AcronymTitleStart dateCompletionP-Investigator
PROJECT 1630Representation of Proofs with Applications, Classification of Structures and Infinite Combinatorics01-01-200231-12-2005Došen, Kosta