Browsing by Author Isaković-Ilić, M.
Showing results 1 to 2 of 2
| Author(s) | Title | Issue Date | Appears in | Rank |
|---|---|---|---|---|
| Kapetanović, Miodrag ; Isaković-Ilić, M. | Substructural propositional logics admitting cut elimination | 2006 | International Congress of Mathematicians, August 22-30 2006, Madrid, Španija | M34 |
| Kapetanović, Miodrag ; Isaković-Ilić, M. | A tableu based prover for BCK logic | 2001 | Proceedings of the XIV Conference on Applied Mathematics 2001; 26-30 | M33 |