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.004 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
3Došen, Kosta ; Petrić, Zoran Representing conjunctive deductions by disjunctive deductions1-Mar-2017Review of Symbolic Logic; 10(1); 145-157M21
4Adžić, Miloš; Došen, Kosta Gödel's notre dame course1-Dec-2016Bulletin of Symbolic Logic; 22(4); 469-481M21
5Došen, Kosta ; Petrić, Zoran Weak cat-operads25-Mar-2015Logical Methods in Computer Science; 11(1)M22
6Došen, Kosta ; Petrić, Zoran A planarity criterion for graphs1-Jan-2015SIAM Journal on Discrete Mathematics; 29(4); 2160-2165M22
7Došen, Kosta Inferential Semantics1-Jan-2015Dag Prawitz on Proofs and Meaning; 7; 147-162
8Došen, Kosta ; Petrić, Zoran Graphs of plural cuts6-May-2013Theoretical Computer Science; 484; 41-55M23
9Došen, Kosta ; Petrić, Zoran Ordinals in Frobenius monads1-Apr-2013Journal of Pure and Applied Algebra; 217(4); 763-778M22
10Došen, Kosta ; Petrić, Zoran Syntax for split preorders1-Apr-2013Annals of Pure and Applied Logic; 164(4); 443-481M22
11Došen, Kosta ; Petrić, Zoran Shuffles and concatenations in the construction of graphs1-Dec-2012Mathematical Structures in Computer Science; 22(6); 904-930M22
12Došen, Kosta ; Petrić, Zoran Symmetric self-adjunctions and matrices1-Dec-2012Algebra Colloquium; 19(SPL. ISS. 1); 1051-1082
13Došen, Kosta ; Petrić, Zoran Intermutation1-Feb-2012Applied Categorical Structures; 20(1); 43-95M23
14Došen, Kosta ; Petrić, Zoran Isomorphic formulae in classical propositional logic1-Feb-2012Mathematical Logic Quarterly; 58(1-2); 5-17M23
15Došen, Kosta ; Petrić, Zoran Invariants for classification of propositional formulae2012Workshop “Cross Perspectives on Proof Systems and their Significance”, École normale supérieure ParisM30
16Došen, Kosta ; Petrić, Zoran Hypergraph polytopes1-Aug-2011Topology and its Applications; 158(12); 1405-1444M23
17Došen, Kosta ; Petrić, Zoran Coherence for modalities1-Jul-2011Journal of Pure and Applied Algebra; 215(7); 1606-1628M22
18Došen, Kosta ; Petrić, Zoran Coherence for monoidal endofunctors1-Aug-2010Mathematical Structures in Computer Science; 20(4); 523-543M23
19Došen, Kosta ; Petrić, Zoran Coherence for monoidal monads and comonads1-Aug-2010Mathematical Structures in Computer Science; 20(4); 545-561M23
20Doš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