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
Results 1-3 of 3 (Search time: 0.002 seconds).
| Author(s) | Title | Issue Date | Appears in | Rank | |
|---|---|---|---|---|---|
| 1 | Došen, Kosta | Inferential Semantics | 1-Jan-2015 | Dag Prawitz on Proofs and Meaning; 7; 147-162 | |
| 2 | Došen, Kosta ; Petrić, Zoran | Proof-Net Categories | 2007 | M11 | |
| 3 | Došen, Kosta ; Petrić, Zoran | Proof-Theoretical Coherence | 2004 | 1 | M11 |
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 |