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-1 of 1 (Search time: 0.001 seconds).
| Author(s) | Title | Issue Date | Appears in | Rank | |
|---|---|---|---|---|---|
| 1 | Došen, Kosta ; Petrić, Zoran | Invariants for classification of propositional formulae | 2012 | Workshop “Cross Perspectives on Proof Systems and their Significance”, École normale supérieure Paris | M30 |
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 |