Showing results 64 to 83 of 174
< previous
next >
Author(s) | Title | Issue Date | Appears in | Rank |
Simić, Slavko ; Todorčević, Vesna | Jensen Functional, Quasi-Arithmetic Mean and Sharp Converses of Hölder’s Inequalities | 1-Dec-2021 | Mathematics; 9(23); 3104 | ~M21a |
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 ; 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 |
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 |
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 |
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 |
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 |
Stević, Stevo | New class of three-dimensional close-to-cyclic systems of difference equations solvable in closed form | 8-Dec-2021 | Mathematical Methods in the Applied Sciences | |
Simjanović, Dušan; Vesić, Nenad ; Ranđelović, Branislav; Zdravković, Nemanja; Vujadinović, Đ. | A new cryptographic algorithm based on affine connection coefficients | 2021 | 12th International Conference on Business Information Security, Beograd, 2021; 71-74 | M33 |
Stević, Stevo | Norm and essential norm of an integral-type operator from the logarithmic Bloch space to the Bloch-type space on the unit ball | 2022 | Mathematical Methods in the Applied Sciences; 45(17); 11905-11915 | ~M21 |
Stević, Stevo | Norm of a multilinear integral operator from product of weighted-type spaces to weighted-type space | 1-Sep-2021 | Mathematical Methods in the Applied Sciences | ~M21 |
Stević, Stevo | Norms of a Product of Integral and Composition Operators between Some Bloch-Type Spaces | 2023 | Axioms; 12(5); 491 | ~M22 |
Stević, Stevo | Norms of some operators between weighted-type spaces and weighted Lebesgue spaces | 2023 | AIMS Mathematics; 8(2); 4022-4041 | ~M21a |
Stević, Stevo ; Ahmed, Ahmed El Sayed; Kosmala, Witold; Šmarda, Zdeněk | Note on a difference equation and some of its relatives | 2021 | Mathematical Methods in the Applied Sciences | ~M21 |
Stević, Stevo | Note on a discrete initial value problem from a competition | 30-Jan-2021 | Advances in Difference Equations; 1; 90 | ~M21a |
Stević, Stevo | Note on a new class of operators between some spaces of holomorphic functions | 2023 | AIMS Mathematics; 8(2); 4153-4167 | ~M21a |