Follow
Andrei Alexandru
Andrei Alexandru
Romanian Academy, Institute of Computer Science
Verified email at iit.academiaromana-is.ro - Homepage
Title
Cited by
Cited by
Year
Finitely Supported Mathematics: An Introduction
A Alexandru, G Ciobanu
Springer, 2016
252016
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
252015
Nominal groups and their homomorphism theorems
A Alexandru, G Ciobanu
Fundamenta Informaticae 131 (3-4), 279-298, 2014
172014
Abstract interpretations in the framework of invariant sets
A Alexandru, G Ciobanu
Fundamenta Informaticae 144 (1), 1-22, 2016
142016
Fuzzy sets within finitely supported mathematics
A Alexandru, G Ciobanu
Fuzzy Sets and Systems 339, 119-133, 2018
122018
Algebraic properties of generalized multisets
A Alexandru, G Ciobanu
2013 15th International Symposium on Symbolic and Numeric Algorithms for …, 2013
112013
Nominal event structures
A Alexandru, G Ciobanu
Romanian Journal of Information, Science and Technology 15, 79-90, 2012
112012
Fixed point results for finitely supported algebraic structures
A Alexandru, G Ciobanu
Fuzzy Sets and Systems 397, 1-27, 2020
92020
Properties of the atoms in finitely supported structures
A Alexandru, G Ciobanu
Archive for Mathematical Logic 59 (1), 229-256, 2020
82020
Foundations of Finitely Supported Structures
A Alexandru, G Ciobanu
Springer International Publishing, 2020
82020
Nominal fusion calculus
A Alexandru, G Ciobanu
2012 14th International Symposium on Symbolic and Numeric Algorithms for …, 2012
82012
A Nominal Approach of Fusion Calculus
A ALEXANDRU, G CIOBANU
Romanian Journal of Information Science and Technology 17 (3), 265-288, 2014
72014
Nominal techniques for πI-calculus
A Alexandru, G Ciobanu
Romanian Journal of Information Science and Technology 16 (4), 261-286, 2013
72013
Nominal semantics of mobility
A Alexandru, G Ciobanu
Romanian Journal of Information, Science and Technology 15, 171-214, 2012
72012
Nominal Semantics of the pi I-calculus
A Alexandru, G Ciobanu
2011 13th International Symposium on Symbolic and Numeric Algorithms for …, 2011
72011
On the Foundations of Finitely Supported Sets.
A Alexandru, G Ciobanu
Journal of Multiple-Valued Logic & Soft Computing 32, 2019
62019
Defining finitely supported mathematics over sets with atoms
A Alexandru, G Ciobanu
4th International Workshop on Algebraic, Logical, and Algorithmic Methods of …, 2015
62015
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
52012
Uniformly supported sets and fixed points properties
A Alexandru, G Ciobanu
Carpathian Journal of Mathematics 36 (3), 351-364, 2020
42020
Pawlak Approximations in the Framework of Nominal Sets.
A Alexandru, G Ciobanu
Journal of Multiple-Valued Logic & Soft Computing 26, 2016
42016
The system can't perform the operation now. Try again later.
Articles 1–20