Afiliat la Universitatea Tehnică a Moldovei
On some pre-complete relative to positive expressibility classes of formulas in the 8-valued para-consistent extension of the logic S5 |
Rusu Andrei , Rusu Elena |
Workshop on Intelligent Information Systems |
2023. Chişinau, Moldova. Valnex. 199-206. |
Disponibil online 8 December, 2023 |
Design aspects of installation devices of the support rings |
Botez Alexei , Rusu Elena |
Journal of Engineering Sciences |
Vol. 28, Nr. 3 / 2021 / ISSN 2587-3474 / ISSNe 2587-3482 |
Disponibil online 17 September, 2021 |
On Algorithms Related to Expressibility of Functions of Diagonalizable Algebras |
Rusu Andrei , Rusu Elena |
Studies in Fuzziness and Soft Computing |
2021. Berlin, Germania. Springer Science and Business Media Deutschland GmbH. 257-277. |
Disponibil online 7 April, 2021 |
On weak-functionally complete systems of formulas containing paraconsistent negation in a paraconsistent logic |
Rusu Andrei , Rusu Elena |
International Conference on Intelligent Information Systems |
2020. Chișinău. "VALINEX" SRL. 170-175. |
Disponibil online 10 December, 2020 |
On completeness as to ¬-expressibility in a 4-valued provability logic |
Rusu Andrei , Rusu Elena |
Proceedings IMCS-55The Fifth Conference of Mathematical Society of the Republic of Moldova |
2019. Chișinău, Republica Moldova. "VALINEX" SRL. 142-145. |
Disponibil online 28 November, 2019 |
Genetic algorithm for optimization of software process |
Bondarenco Vladimir , Rusu Andrei , Rusu Elena |
Conference on Applied and Industrial Mathematics CAIM 2018 |
Ediţia a 26-a. 2018. Chișinău, Republica Moldova. Casa Editorial-Poligrafică „Bons Offices”. 116-116. |
Disponibil online 2 June, 2022 |
On weak expressibility of formulas in the simplest non-trivial propositional provability logic |
Rusu Andrei , Rusu Elena |
Conference on Applied and Industrial Mathematics CAIM 2018 |
Ediţia a 26-a. 2018. Chișinău, Republica Moldova. Casa Editorial-Poligrafică „Bons Offices”. 100-100. |
Disponibil online 1 June, 2022 |
On existential expressibility of formulas in the simplest non-trivial super-intuitionistic propositional logic |
Rusu Andrei , Rusu Elena |
Conference of Mathematical Society of the Republic of Moldova |
4. 2017. Chişinău. Centrul Editorial-Poligrafic al USM. 153-156. |
Disponibil online 4 October, 2017 |
On computer aided knowledge discovery in logic and related Areas |
Rusu Andrei , Rusu Elena |
Conference on Mathematical Foundations of Informatics |
2016. Chișinău, Republica Moldova. "VALINEX" SRL. 299-306. |
Disponibil online 30 March, 2018 |
On e-Infrastructure for SSO in R&D and education organizations of Republic of Moldova |
Rusu Andrei , Rusu Elena |
Telecommunications, Electronics and Informatics |
Ed. 5. 2015. Chișinău, Republica Moldova. . 294-295. |
Disponibil online 22 May, 2018 |
1-12 of 12