Showing results 6 to 22 of 22
< previous
Author(s) | Title | Issue Date | Appears in | Rank |
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 |
Kapetanović, Miodrag | Tabloi za substrukturne logike | 2003 | Skup posvećenom A. Kronu, Beograd 2003 | M64 |
Kapetanović, Miodrag | Work of Slaviša Prešić in Artificial Intelligence | 2001 | A Tribute to S.B. Prešić; 15-19 | M33 |