IBN
Închide



Publicaţii la conferinţe din RM - 8, Descărcări - 23, Vizualizări - 3050
Academia.edu ID
Google Scholar ID
LinkedIn ID
ORCiD
ResearchGate person ID
ResearcherID
ResearcherID
Scopus Author ID
Scopus Author ID
Scopus Author ID
XLS PDF DOC
ISO 690-2012

2020 - 1

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. Tipografia "Valinex". 170-175.
Disponibil online 10 December, 2020. Descarcări-2. Vizualizări-101
-----------------------------------------------------------------------------------------------------------------------------------

2019 - 1

On completeness as to ¬-expressibility in a 4-valued provability logic
Rusu Andrei, Rusu Elena
Proceedings IMCS-55
2019. Chișinău, Republica Moldova. Tipografia Valinex. 142-145.
Disponibil online 28 November, 2019. Descarcări-2. Vizualizări-368
-----------------------------------------------------------------------------------------------------------------------------------

2018 - 1

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. Descarcări-9. Vizualizări-509
-----------------------------------------------------------------------------------------------------------------------------------

2017 - 1

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. Descarcări-3. Vizualizări-514
-----------------------------------------------------------------------------------------------------------------------------------

2016 - 1

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. Descarcări-1. Vizualizări-370
-----------------------------------------------------------------------------------------------------------------------------------

2015 - 1

On e-Infrastructure for SSO in R&D and education organizations of Republic of Moldova
Rusu Andrei, Rusu Elena
Telecommunications, Electronics and Informatics
2015. Chișinău, Republica Moldova. . 294-295.
Disponibil online 22 May, 2018. Descarcări-3. Vizualizări-452
-----------------------------------------------------------------------------------------------------------------------------------

2014 - 1

On absence of finite approximation relative to model completeness in the propositional provability logic
Izbash 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. Descarcări-0. Vizualizări-356
-----------------------------------------------------------------------------------------------------------------------------------

2013 - 1

Infinitely many precomplete relative to parametric expressibility classes of formulas in a provability logic
Rusu Andrei
International Conference on Intelligent Information Systems
2013. Chișinău. "VALINEX" SRL. 144-147.
Disponibil online 12 February, 2018. Descarcări-3. Vizualizări-380
-----------------------------------------------------------------------------------------------------------------------------------
1 - 8 of 8