Browsing by Department Mathematics


Or, select a letter below to start browsing
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 72 to 91 of 215 < previous   next >
Author(s)TitleIssue DateAppears inRank
Doder, Dragan; Ognjanović, Zoran ; Savić, Nenad; Studer, ThomasIncomplete Information and Justifications31-Mar-2022Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); International Tbilisi Symposium on Logic, Language, and Computation TbiLLC 2019: Language, Logic, and Computation; 13206; 258-278M33
Milovanović, Miloš ; Saulig, NicolettaAn Intensional Probability Theory: Investigating the Link between Classical and Quantum Probabilities †2022Mathematics; 10; 4294~M21a
Femić, Bojana ; Ghiorzi, EnricoInternalization and enrichment via spans and matrices in a tricategory2023Journal of Algebraic Combinatorics~M22
Milovanović, Miloš Intuicionističko zasnivanje matematike i primene u muzici, arhitekturi, obrazovanju...2022Phlogiston - časopis za istoriju nauke; 30; 277-302M52
Ilić Stepić, Angelina ; Knežević, Mateja; Ognjanović, Zoran Intuitionistic propositional probability logic29-Aug-2022Mathematical Logic QuarterlyM23
Vesić, Nenad ; Milenković, Vladislava M.; Stanković, Mića S.Invariants for equitorsion geometric mappings2023Filomat; 37(25); 8537-8542M22
Vesić, Nenad ; Mihajlović, AleksandraInvariants for F-Planar Mappings of Symmetric Affine Connection Spaces2022Facta Universitatis, Ser. Math. Inform.; 37(2); 283-293M24
Milićević, Luka INVERSE THEOREM FOR CERTAIN DIRECTIONAL GOWERS UNIFORMITY NORMS2023Publications de l'Institut Mathematique; 113(127); 1-56M24
Simić, Slavko ; Todorčević, Vesna Jensen Functional, Quasi-Arithmetic Mean and Sharp Converses of Hölder’s Inequalities1-Dec-2021Mathematics; 9(23); 3104~M21a
Kašterović, Simona; Ghilezan, Silvia Kripke-style semantics and completeness for full simply typed Lambda calculus1-Jan-2021Journal of Logic and Computation; 30(8); 1567-1608~M21
Baralić, Đorđe ; Limić, VladaThe law of large numbers for the bigraded Betti numbers of a random simplicial complex1-Feb-2021Russian Mathematical Surveys; 76(1); 186-189~M21a
Tabatabaie, Seyyed Mohammad; Ivković, Stefan Linear dynamics of discrete cosine functions on solid Banach function spaces2021Positivity~M21
Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, AleksandarThe logic ILP for intuitionistic reasoning about probability202211th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022; Book of Abstracts; 25-26M34
Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, AleksandarThe Logic ILP for Intuitionistic Reasoning About Probability2023Studia Logica~M21
Lehnherr, David; Ognjanović, Zoran ; Studer, ThomasA Logic of Interactive Proofs2022Logical Foundations of Computer Science; International Symposium on Logical Foundations of Computer Science, LFCS 2022; 13137; 143-155M33
Lehnherr, David; Ognjanović, Zoran ; Studer, ThomasA Logic of Interactive ProofsSep-202110th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; Book of Abstracts of the 10th International Conference Logic and Applications, LAP 2021; 89-90M34
Lehnherr, David; Ognjanović, Zoran ; Studer, ThomasA logic of interactive proofs2022Journal of Logic and Computation; 32(8); 1645-1658~M21
Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran Logics for reasoning about degrees of confirmation31-May-2021Journal of Logic and Computation; 31(8); 2189-2217~M21
Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran Logics for Reasoning about Knowledge and Conditional ProbabilitySep-202110th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; Book of Abstracts of the 10th International Conference Logic and Applications, LAP 2021; 19-21M34
Baralić, Đorđe ; Milenković, LazarThe Magic Permutohedron2023Mathematical Intelligencer~M23