Cuvinte-cheie (59): expressibility of formulas (3), Diagonalizable algebra (3), Provability logic (3)
Dinamica numărului de publicaţii pe ani | |||
Dinamica articolelor pe ani | |||
Distribuirea numărului de pagini publicate pe categorii de reviste și ani | |||
Distribuirea articolelor pe domenii şi ani | |||
Colaborarea autorului | |||
Dinamica descărcărilor pe ani | |||
Proiecte | (4) |
ORCiD
Scopus Author ID
LinkedIn ID
ResearcherID
ResearchGate person ID
Google Scholar ID
Teze/Rezumate în culegeri - 2.
- 1. Cărţi publicate în RM
- 1.1.Monografii - 2
- 1.2.Contribuții în monografii - 1
- 3. Articole în reviste din RM
- 3.1. Articole în reviste științifice din RM (perioada în care au avut categorie de clasificare + 2 numere până la aprobarea statutului de publicație științifică)
- 3.1.1.Articole în reviste de cat. A - 2
- 3.1.3.Articole în reviste de cat. B - 2
- 3.1.5.Articole în reviste științifice din RM (până în 2009) - 1
- 4. Articole în reviste de peste hotare
- 4.1.Articole în reviste din WoS - 1
- 4.2.Articole în reviste din Scopus - 1
- 5. Publicaţii la manifestări din RM
- 5.1.Publicații la manifestări științifice din RM (incluse în Registrele manifestărilor științifice aprobate de către ANACEC) - 1
- 5.3.Publicații la alte manifestări din RM - 9
- 6. Publicații la manifestări științifice de peste hotare
- 6.3.Alte publicații la manifestări științifice de peste hotare - 5
- 8. Lucrări științifice cu caracter informativ, relevante domeniului
- 8.4.Studiu/sondaj - 2
On some pre-complete relative to positive expressibility classes of formulas in the 8-valued para-consistent extension of the logic S5 |
Rusu Andrei12 , Rusu Elena3 |
1 Vladimir Andrunachievici Institute of Mathematics and Computer Science, MSU, 2 Ovidius University, Constanța, 3 Technical University of Moldova |
Workshop on Intelligent Information Systems |
2023. Chişinau, Moldova. ISBN 978-9975-68-492-7.. |
Disponibil online 8 December, 2023. Descarcări-0. Vizualizări-152 |
Tehnologii pentru „Digital Mathematical Library – Moldova” (DML-MD) |
Damian Florin , Rusu Andrei |
Institutul de Matematică şi Informatică "Vladimir Andrunachievici" |
Știința Deschisă în Republica Moldova |
Ediția 2. 2022. Chişinău. ISBN 978-9975-3564-0-4. |
Disponibil online 22 October, 2022. Descarcări-17. Vizualizări-406 |
On weak-functionally complete systems of formulas containing paraconsistent negation in a paraconsistent logic |
Rusu Andrei12 , Rusu Elena3 |
1 Vladimir Andrunachievici Institute of Mathematics and Computer Science, 2 Ovidius University, Constanța, 3 Technical University of Moldova |
International Conference on Intelligent Information Systems |
2020. Chișinău. ISBN 978-9975-68-415-6. |
Disponibil online 10 December, 2020. Descarcări-4. Vizualizări-524 |
On interoperability of research information based on CERIF in Republic of Moldova |
Cujba Rodica1 , Rusu Andrei12 |
1 Information Society Development Institute, 2 Ovidius University, Constanța |
Conference on Mathematical Foundations of Informatics |
2018. Chișinău. ISBN 978‐9975‐4237‐7‐9. |
Disponibil online 3 July, 2018. Descarcări-11. Vizualizări-1005 |
On existential expressibility of formulas in the simplest non-trivial super-intuitionistic propositional logic |
Rusu Andrei12 , Rusu Elena3 |
1 Ovidius University, Constanța, 2 Information Society Development Institute, 3 Technical University of Moldova |
Conference of Mathematical Society of the Republic of Moldova |
4. 2017. Chişinău. ISBN 978-9975-71-915-5. |
Disponibil online 4 October, 2017. Descarcări-3. Vizualizări-945 |
On computer aided knowledge discovery in logic and related Areas |
Rusu Andrei12 , Rusu Elena3 |
1 Information Society Development Institute, 2 Ovidius University, Constanța, 3 Technical University of Moldova |
Conference on Mathematical Foundations of Informatics |
2016. Chișinău, Republica Moldova. ISBN 978‐9975‐4237‐4‐8. |
Disponibil online 30 March, 2018. Descarcări-2. Vizualizări-749 |
On e-Infrastructure for SSO in R&D and education organizations of Republic of Moldova |
Rusu Andrei1 , Rusu Elena2 |
1 Information Society Development Institute, 2 Technical University of Moldova |
Telecommunications, Electronics and Informatics |
Ed. 5. 2015. Chișinău, Republica Moldova. ISBN 978-9975-45-377-6. |
Disponibil online 22 May, 2018. Descarcări-3. Vizualizări-802 |
On absence of finite approximation relative to model completeness in the propositional provability logic |
Izbash Olga1 , Rusu Andrei23 |
1 Institute of Mathematics and Computer Science ASM, 2 Information Society Development Institute, 3 Ovidius University, Constanța |
Conference of Mathematical Society of the Republic of Moldova |
3. 2014. Chișinău. ISBN 978-9975-68-244-2. |
Disponibil online 9 October, 2017. Descarcări-0. Vizualizări-690 |
Infinitely many precomplete relative to parametric expressibility classes of formulas in a provability logic |
Rusu Andrei |
Information Society Development Institute |
International Conference on Intelligent Information Systems |
2013. Chișinău. . |
Disponibil online 12 February, 2018. Descarcări-4. Vizualizări-695 |