Follow
Andrei Rusu
Andrei Rusu
Moldova State University
Verified email at math.usm.md
Title
Cited by
Cited by
Year
On non-tabular m-pre-complete classes of formulas in the propositional provability logic.
O Izbaş, A Rusu
An. Ştiinţ. Univ. “Ovidius” Constanţa, Ser. Mat. 14 (1), 91-98, 2006
32006
Menţinerea şi dezvoltarea infrastructurii publice de cercetare şi inovare
I Cojocaru, A Roşca, M Guzun, A Rusu
Revista de Ştiinţă, Inovare, Cultură şi Artă „Akademos” 47 (4), 20-26, 2017
22017
Medii virtuale multimodale distribuite
DM POPOVICI, E ZAHARESCU, A RUSU, MC PUCHIANU, D SBURLAN
Craiova: Ed. Universitaria, Bucureşti: Ed. ProUniversitaria, ISBN 978-606-14 …, 2015
22015
Completeness criteria for expressibility in a 4-valued extension of provability logic.
AG Russu
Bul. Acad. Ştiinţe Repub. Mold., Mat., 75-86, 1996
2*1996
On some pre-complete relative to positive expressibility classes of formulas in the 8-valued para-consistent extension of the logic
A RUSU, E RUSU
Proceedings of Workshop on Intelligent Information Systems WIIS2023, 199--206, 2023
12023
Research data in the context of open science: Case study of the Republic of Moldova
A Rusu, N Ţurcan, R Cujba, M Grecu
Central and Eastern European eDem and eGov Days, 319-328, 2019
12019
Public Research and Innovation Infrastructure of the Republic of Moldova: Challenges and Opportunities
I Cojocaru, A Roşca, A Rusu, M Guzun
Central and Eastern European eDem and eGov Days, 421-430, 2018
12018
On some properties of complete by expressibility systems of formulas in the Gödel–Löb provability logic
MF Ratsa, AG Russu
Walter de Gruyter, Berlin/New York 10 (6), 553-570, 2000
12000
On AI frameworks for investigation of expressibility in logical calculi
A RUSU, E RUSU
Proceedings of the 9th International Conference "Mathematics & IT: Research …, 2023
2023
Tehnologii pentru „Digital Mathematical Library–Moldova”(DML-MD)
F Damian, A Rusu
Știința Deschisă în Republica Moldova, 155-158, 2022
2022
On functionally complete systems of formulas containing paraconsistent negation in a simple paraconsistent logic
A Rusu, E Rusu
Научное обеспечение развития АПК в условиях импортозамещения: сборник …, 2021
2021
On Algorithms Related to Expressibility of Functions of Diagonalizable Algebras
A Rusu, E Rusu
Algorithms as a Basis of Modern Applied Mathematics, 257-277, 2021
2021
On weak-functionally complete systems of formulas containing paraconsistent negation in a paraconsistent logic
A Rusu, E Rusu
International Conference on Intelligent Information Systems, 170-175, 2020
2020
Study on the Mapping of Research Data in the Republic of Moldova in the Context of Open Science
N Turcan, A Rusu, R Cujba
International Journal of Advanced Statistics and IT&C for Economics and Life …, 2019
2019
Maximal Slupecki Iterative Algebras of the 4-valued Diagonalizable Algbera and Related Algorithms
A RUSU, E RUSU
Proceedings of the Conference on Mathematical Foundations of Informatics …, 2019
2019
On completeness as to¬-expressibility in a 4-valued provability logic
A Rusu, E Rusu
Proceedings IMCS-55, 142-145, 2019
2019
E-Infrastructuri pentru datele de cercetare – experiențe internaționale
CI Grecu Mihai, Țurcan Nelly, Rusu Andrei
„Știința Deschisă”, 22, 2018
2018
E-Infrastructura de date științifice – un imperativ al cercetării colaborative în contextul Științei Deschise
M Grecu, A Rusu
Masa rotundă - ”Datele științifice în Republica Moldova: Experiențe și bune …, 2018
2018
Studiul ecosistemului de date științifice din Republica Moldova în contextul Științei Deschise
N ȚURCAN, A RUSU, M GRECU
Conferința științifică internațională „Școala internațională de metodologie …, 2018
2018
Indicatori Cercetare-Dezvoltare, 2020: Studiu privind asigurarea suportului metodologic pentru monitorizarea indicatorilor Strategiei de Cercetare-Dezvoltare a Republicii …
I COJOCARU, R CUJBA, N ŢURCAN, V MINCIUNĂ, G CUCIUREANU, ...
Chișinău: IDSI, ediția 2, ISBN 978-9975-3220-0-3, https://ibn.idsi.md …, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20