Showing results 1 to 20 of 22
next >
| Author(s) | Title | Issue Date | Appears in | Rank |
| Kapetanović, Miodrag | Aleksandar Kron (1937-2000) | 1-Jan-2007 | Publications de l'Institut Mathematique; 82(96); 1-2 | M64 |
| Kapetanović, Miodrag | Analytic tableaux and interpolation | 1-Dec-2007 | Publications de l'Institut Mathematique; 96; 93-97 | M24 |
| Kapetanović, Miodrag | Analytic Tableux and Interpolation | 2007 | Tableux 2007, Aix en Provence, 3-6. juli 2007. | M34 |
| Kapetanović, Miodrag | Efektivna skolemizacija | 2007 | Dani logike, Novi Sad, 2007 | M64 |
| Kapetanović, Miodrag | The great struggle between Cantorians and Neo-Aristitelians: Much ado about nothing | 2008 | Gazer Philosophische Studien | M52 |
| Kapetanović, Miodrag | Initial Models and Horn Clause Axiomatizability | 1999 | Publications de l'Institut Mathématique; 65(79); 17-19 | M24 |
| Arsenijević, Miloš; Kapetanović, Miodrag | An Lω1ω1 axiomatization of the linear Archimedean continua as merely relational structures | 1-Feb-2008 | WSEAS Transactions on Mathematics; 7(2); 39-47 | M52 |
| Kapetanović, Miodrag ; Arsenijević, Miloš | An Lω1ω1 axiomatization of the linear Archimedean continua as merely relational structures | 2007 | Proceedings of the 11th WSEAS International Conference in Applied Mathematics, Dalas, Texas, USA; 180-185 | M33 |
| Kapetanović, Miodrag | Metod semantičkih tabloa | 1996 | doctoral thesis: Matematički fakultet, Univerzitet u Beogradu | M70 |
| Kapetanović, Miodrag ; Krapež, Aleksandar | More on trees and finite satisfiability: The taming of terms | 1-Jan-1987 | Notre Dame Journal of Formal Logic; 28(3); 392-394 | |
| Kapetanović, Miodrag | O nekim polivalentnim skaznim računima | 1973 | master thesis: Matematički fakultet, Univerzitet u Beogradu | M71 |
| Kapetanović, Miodrag | On A Class Of Sentential Functions | 1977 | Publications de l'Institut Mathématique; 22(36); 127-129 | M24 |
| Kapetanović, Miodrag | On A Many-Valued Sentential Calculus | 1980 | Publications de l'Institut Mathématique; 27(41); 103-106 | M24 |
| Kapetanović, Miodrag | On theories with the general disjunction property | 1-Aug-2007 | Algebra Universalis; 57(1); 127-129 | M22 |
| Kapetanović, Miodrag | On two Classical Results in the First Order Logic | 2004 | Publications de l'Institut Mathématique; 21-24 | M24 |
| Kapetanović, Miodrag | Primene teorije modela u algebri | 2007 | Dani logike, Novi Sad, 2007 | M64 |
| Kapetanović, Miodrag ; Krapež, Aleksandar | A Proof Procedure for the First Order Logic | 1989 | Publications de l'Institut Mathématique; 45(59); 3-5 | M24 |
| 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 | A Tableaux System in Modal Logic | 1981 | Publications de l'Institut Mathématique; 30(44); 65-67 | M24 |
| 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 |
