Finitely supported mathematics: an introduction A Alexandru, G Ciobanu Springer, 2016 | 32 | 2016 |
Mathematics of multisets in the Fraenkel-Mostowski framework A Alexandru, G Ciobanu Bulletin mathématique de la Société des Sciences Mathématiques de Roumanie, 3-18, 2015 | 28 | 2015 |
Nominal groups and their homomorphism theorems A Alexandru, G Ciobanu Fundamenta Informaticae 131 (3-4), 279-298, 2014 | 17 | 2014 |
Fuzzy sets within finitely supported mathematics A Alexandru, G Ciobanu Fuzzy Sets and Systems 339, 119-133, 2018 | 16 | 2018 |
Abstract interpretations in the framework of invariant sets A Alexandru, G Ciobanu Fundamenta Informaticae 144 (1), 1-22, 2016 | 15 | 2016 |
Foundations of Finitely Supported Structures A Alexandru, G Ciobanu Springer International Publishing, 2020 | 14 | 2020 |
Fixed point results for finitely supported algebraic structures A Alexandru, G Ciobanu Fuzzy Sets and Systems 397, 1-27, 2020 | 12 | 2020 |
Algebraic properties of generalized multisets A Alexandru, G Ciobanu 2013 15th International Symposium on Symbolic and Numeric Algorithms for …, 2013 | 11 | 2013 |
Nominal event structures A Alexandru, G Ciobanu Romanian Journal of Information, Science and Technology 15, 79-90, 2012 | 11 | 2012 |
Properties of the atoms in finitely supported structures A Alexandru, G Ciobanu Archive for Mathematical Logic 59 (1), 229-256, 2020 | 8 | 2020 |
Nominal fusion calculus A Alexandru, G Ciobanu 2012 14th International Symposium on Symbolic and Numeric Algorithms for …, 2012 | 8 | 2012 |
On the Foundations of Finitely Supported Sets. A Alexandru, G Ciobanu Journal of Multiple-Valued Logic & Soft Computing 32, 2019 | 7 | 2019 |
A Nominal Approach of Fusion Calculus A ALEXANDRU, G CIOBANU Romanian Journal of Information Science and Technology 17 (3), 265-288, 2014 | 7 | 2014 |
Nominal techniques for πI-calculus A Alexandru, G Ciobanu Romanian Journal of Information Science and Technology 16 (4), 261-286, 2013 | 7 | 2013 |
Nominal semantics of mobility A Alexandru, G Ciobanu Romanian Journal of Information, Science and Technology 15, 171-214, 2012 | 7 | 2012 |
Nominal Semantics of the pi I-calculus A Alexandru, G Ciobanu 2011 13th International Symposium on Symbolic and Numeric Algorithms for …, 2011 | 7 | 2011 |
Defining finitely supported mathematics over sets with atoms A Alexandru, G Ciobanu 4th International Workshop on Algebraic, Logical, and Algorithmic Methods of …, 2015 | 6 | 2015 |
An extension of a permutative model of set theory A Alexandru, G Ciobanu An. Stiint. Univ.” Al. I. Cuza” Iasi. Mat.(NS) 58, 1-18, 2012 | 5 | 2012 |
Various forms of infinity for finitely supported structures A Alexandru, G Ciobanu Archive for Mathematical Logic 61 (1), 173-222, 2022 | 4 | 2022 |
Uniformly supported sets and fixed points properties A Alexandru, G Ciobanu Carpathian Journal of Mathematics 36 (3), 351-364, 2020 | 4 | 2020 |