Rusu Andrei
Publicaţii la conferinţe din RM - 10, Descărcări - 47, Vizualizări - 6582
ISO 690-2012
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. Descarcări-0. Vizualizări-123 |
Tehnologii pentru „Digital Mathematical Library – Moldova” (DML-MD)   |
Damian Florin , Rusu Andrei  |
| Știința Deschisă în Republica Moldova |
| Ediția 2. 2022. Chişinău. "Print-Caro" SRL. 155-158. |
| Disponibil online 22 October, 2022. Descarcări-17. Vizualizări-393 |
| 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. Descarcări-4. Vizualizări-486 |
| On completeness as to ¬-expressibility in a 4-valued provability logic |
| Rusu Andrei , Rusu Elena |
| Proceedings IMCS-55 |
| 2019. Chișinău, Republica Moldova. "VALINEX" SRL. 142-145. |
| Disponibil online 28 November, 2019. Descarcări-3. Vizualizări-809 |
| 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-11. Vizualizări-969 |
| 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-932 |
| 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-2. Vizualizări-731 |
| 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. Descarcări-3. Vizualizări-791 |
| 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-672 |
| 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-4. Vizualizări-676 |
