Došen, Kosta
Loading...
3
0
20
0
false
Full Name
Došen, Kosta
Scopus Author ID
Country
Serbia
Loading...
2
0
20
0
false
Type
Results 1-3 of 3 (Search time: 0.001 seconds).
Author(s) | Title | Issue Date | Appears in | Rank | |
---|---|---|---|---|---|
1 | Došen, Kosta ; Petrić, Zoran | The maximality of cartesian categories | 1-Jan-2001 | Mathematical Logic Quarterly; 47(1); 137-144 | M23 |
2 | Došen, Kosta ; Petrić, Zoran | The typed Böhm theorem | 1-Jan-2001 | Electronic Notes in Theoretical Computer Science; BOTH 2001, Bohm's Theorem: Applications to Computer Science Theory (Satellite Workshop of ICALP 2001); Crete; Greece; 13 July 2001 through 13 July 2001; 50(2); 117-129 | |
3 | Došen, Kosta ; Petrić, Zoran | Coherent bicartesian and sesquicartesian categories | 1-Jan-2001 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); International Seminar on Proof Theory in Computer Science, PTCS 2001; Dagstuhl Castle; Germany; 7 October 2001 through 12 October 2001; 2183; 78-92 | M21 |
Results 1-1 of 1 (Search time: 0.001 seconds).
Acronym | Title | Start date | Completion | P-Investigator |
---|---|---|---|---|
PROJECT 1630 | Representation of Proofs with Applications, Classification of Structures and Infinite Combinatorics | 01-01-2002 | 31-12-2005 | Došen, Kosta |