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:  [1990 TO 1999]
Date Issued:  1999

Results 1-2 of 2 (Search time: 0.002 seconds).

Author(s)TitleIssue DateAppears inRank
1Došen, Kosta ; Petrić, Zoran Cartesian isomorphisms are symmetric monoidal: A justification of linear logic1-Jan-1999Journal of Symbolic Logic; 64(1); 227-242M22
2Došen, Kosta Cut elimination in adjuncion1-Jan-1999Bulletin of the Section of Logic; 28(2); 61-73

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