Researchers
Žunić, Dragiša
Type
Date issued
Results 21-23 of 23
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2011 | Intuitionistic sequent-style calculus with explicit structural rules | Gilezan, Silvia   ; Žunić, Dragiša ; Ivetić, Jelena ; Lescanne, Pierre | Conference Paper | Mp. category will be shown later |
| 2008 | Poslovna matematika | Likavec, Silvia ; Žunić, Dragiša ; Carić, Biljana | Text book | Mp. category will be shown later |
| 2007 | Computing with sequents and diagrams in classical logic - calculi *X, dX and ©X | Zunic, Dragisa | Other | Mp. category will be shown later |