Browsing by Author Kapetanović, Miodrag


Or, select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 6 to 22 of 22 < previous 
Author(s)TitleIssue DateAppears inRank
Kapetanović, Miodrag Initial Models and Horn Clause Axiomatizability1999Publications de l'Institut Mathématique; 65(79); 17-19M24
Arsenijević, Miloš; Kapetanović, Miodrag An Lω1ω1 axiomatization of the linear Archimedean continua as merely relational structures1-Feb-2008WSEAS Transactions on Mathematics; 7(2); 39-47M52
Kapetanović, Miodrag ; Arsenijević, MilošAn Lω1ω1 axiomatization of the linear Archimedean continua as merely relational structures2007Proceedings of the 11th WSEAS International Conference in Applied Mathematics, Dalas, Texas, USA; 180-185M33
Kapetanović, Miodrag Metod semantičkih tabloa1996doctoral thesis: Matematički fakultet, Univerzitet u BeograduM70
Kapetanović, Miodrag ; Krapež, Aleksandar More on trees and finite satisfiability: The taming of terms1-Jan-1987Notre Dame Journal of Formal Logic; 28(3); 392-394
Kapetanović, Miodrag O nekim polivalentnim skaznim računima1973master thesis: Matematički fakultet, Univerzitet u BeograduM71
Kapetanović, Miodrag On A Class Of Sentential Functions1977Publications de l'Institut Mathématique; 22(36); 127-129M24
Kapetanović, Miodrag On A Many-Valued Sentential Calculus1980Publications de l'Institut Mathématique; 27(41); 103-106M24
Kapetanović, Miodrag On theories with the general disjunction property1-Aug-2007Algebra Universalis; 57(1); 127-129M22
Kapetanović, Miodrag On two Classical Results in the First Order Logic2004Publications de l'Institut Mathématique; 21-24M24
Kapetanović, Miodrag Primene teorije modela u algebri2007Dani logike, Novi Sad, 2007M64
Kapetanović, Miodrag ; Krapež, Aleksandar A Proof Procedure for the First Order Logic1989Publications de l'Institut Mathématique; 45(59); 3-5M24
Kapetanović, Miodrag ; Isaković-Ilić, M.Substructural propositional logics admitting cut elimination2006International Congress of Mathematicians, August 22-30 2006, Madrid, ŠpanijaM34
Kapetanović, Miodrag A Tableaux System in Modal Logic1981Publications de l'Institut Mathématique; 30(44); 65-67M24
Kapetanović, Miodrag ; Isaković-Ilić, M.A tableu based prover for BCK logic2001Proceedings of the XIV Conference on Applied Mathematics 2001; 26-30M33
Kapetanović, Miodrag Tabloi za substrukturne logike2003Skup posvećenom A. Kronu, Beograd 2003M64
Kapetanović, Miodrag Work of Slaviša Prešić in Artificial Intelligence2001A Tribute to S.B. Prešić; 15-19M33