Showing results 107 to 126 of 279
< previous
next >
| Author(s) | Title | Issue Date | Appears in | Rank |
| Kašterović, Simona; Ghilezan, Silvia | Kripke-style semantics and completeness for full simply typed Lambda calculus | 1-Jan-2021 | Journal of Logic and Computation; 30(8); 1567-1608 | ~M21 |
| Baralić, Đorđe | La importancia de las investigaciones y la educación matemática en laépoca venidera | 2025 | XV Conferencia internacional POR EL EQULIBRIO DEL MUNDO “Con todos y para bien de todos”, 28-31 enero 2025, La Habana, Cuba | M32 |
| Baralić, Đorđe ; Limić, Vlada | The law of large numbers for the bigraded Betti numbers of a random simplicial complex | 1-Feb-2021 | Russian Mathematical Surveys; 76(1); 186-189 | ~M21a |
| Tabatabaie, Seyyed Mohammad; Ivković, Stefan | Linear dynamics of discrete cosine functions on solid Banach function spaces | 2021 | Positivity | ~M21 |
| Ivković, Stefan | Liszt's Sonata in B minor and Transcendence | 2024 | A Hidden Harmony: Mathematics and Music trought the Ages; 21(29); 75-90 | |
| Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar | The logic ILP for intuitionistic reasoning about probability | 2022 | 11th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022; Book of Abstracts; 25-26 | M34 |
| Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar | The Logic ILP for Intuitionistic Reasoning About Probability | 2024 | Studia Logica; 112; 987-1017 | ~M21 |
| Lehnherr, David; Ognjanović, Zoran ; Studer, Thomas | A Logic of Interactive Proofs | 2022 | Logical Foundations of Computer Science; International Symposium on Logical Foundations of Computer Science, LFCS 2022; 13137; 143-155 | M33 |
| Lehnherr, David; Ognjanović, Zoran ; Studer, Thomas | A Logic of Interactive Proofs | Sep-2021 | 10th 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-90 | M34 |
| Lehnherr, David; Ognjanović, Zoran ; Studer, Thomas | A logic of interactive proofs | 2022 | Journal of Logic and Computation; 32(8); 1645-1658 | ~M21 |
| Jevtić, Filip ; Vujošević, Slobodan | Logic of the ontological argument | 2022 | Belgrade Philosophical Annual; 35; 111-114 | M24 |
| Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | Logics for reasoning about degrees of confirmation | 31-May-2021 | Journal of Logic and Computation; 31(8); 2189-2217 | ~M21 |
| Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | Logics for Reasoning about Knowledge and Conditional Probability | Sep-2021 | 10th 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-21 | M34 |
| Baralić, Đorđe ; Milenković, Lazar | The Magic Permutohedron | 2023 | Mathematical Intelligencer | ~M23 |
| He, Xiaocong; Feng, Lihua; Stevanović, Dragan | THE MAXIMUM SPECTRAL RADIUS OF GRAPHS WITH A LARGE CORE | 2023 | Electronic Journal of Linear Algebra; 39; 78-89 | ~M22 |
| Milovanović, Miloš | The Measurement Problem in Statistical Signal Processing | 2023 | Mathematics; 11(22); 4623 | ~M21a |
| Šegan-Radonjić, Marija ; Todorčević, Vesna | Mihailo Petrović’s education in France and its significance in establishing the Petrović School of Mathematics | 2024 | Revue d Histoire des Mathematiques; 30(1); 31-69 | M24+ |
| Batanin, Michael; Markl, Martin; Obradović, Jovana | Minimal models for graph-related (hyper)operads | 2023 | Journal of Pure and Applied Algebra; 227(7); 107329 | ~M22 |
| Baralić, Đorđe ; Vavpetič, A.; Vučić, A. | Mod p Buchstaber invariant | 2024 | Proceedings of the Steklov Institute of Mathematics; 326; 21-36 | ~M23 |
| Baralić, Đorđe | Mod p Buchstaber invariant | 2024 | XXII Geometrical Seminar May 26-31 2024 Belgrade; Book of abstracts; 11 | M34 |
