Afiliat la Universitatea „Ovidius“, Constanţa
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 |
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 |
Research data in the context of open science: Case study of the Republic of Moldova |
Rusu Andrei , Ţurcan Nelly , Cujba Rodica , Grecu Mihai |
Central and Eastern European eDem and eGov Days |
2019. Viena, Austria. Facultas Verlags- und Buchhandels. 319-328. |
Disponibil online 11 October, 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 interoperability of research information based on CERIF in Republic of Moldova |
Cujba Rodica , Rusu Andrei |
Conference on Mathematical Foundations of Informatics |
2018. Chișinău. "VALINEX" SRL. 67-72. |
Disponibil online 3 July, 2018 |
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 absence of finite approximation relative to model completeness in the propositional provability logic |
Izbaş Olga , Rusu Andrei |
Conference of Mathematical Society of the Republic of Moldova |
3. 2014. Chișinău. "VALINEX" SRL. 98-101. |
Disponibil online 9 October, 2017 |
1-15 of 15