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

Refined By:
Date Issued:  [2010 TO 2019]
Rank:  M22

Results 1-8 of 8 (Search time: 0.002 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 Weak cat-operads25-Mar-2015Logical Methods in Computer Science; 11(1)M22
4Došen, Kosta ; Petrić, Zoran A planarity criterion for graphs1-Jan-2015SIAM Journal on Discrete Mathematics; 29(4); 2160-2165M22
5Došen, Kosta ; Petrić, Zoran Ordinals in Frobenius monads1-Apr-2013Journal of Pure and Applied Algebra; 217(4); 763-778M22
6Došen, Kosta ; Petrić, Zoran Syntax for split preorders1-Apr-2013Annals of Pure and Applied Logic; 164(4); 443-481M22
7Došen, Kosta ; Petrić, Zoran Shuffles and concatenations in the construction of graphs1-Dec-2012Mathematical Structures in Computer Science; 22(6); 904-930M22
8Došen, Kosta ; Petrić, Zoran Coherence for modalities1-Jul-2011Journal of Pure and Applied Algebra; 215(7); 1606-1628M22

Projects


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

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