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|