IBN
Închide
Rusu Andrei Gheorghe
Cuvinte-cheie (35): expressibility of formulas (2), provabilty logic (2), model completeness (2)
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
Academia.edu ID
Google Scholar ID
LinkedIn ID
ORCiD
ResearchGate person ID
ResearcherID
Scopus Author ID

Articole în reviste din RM - 4. Publicaţii la conferinţe din RM - 6. Publicaţii peste hotare - 1.
XLS PDF DOC
SM ISO690:2012

2018 - 2

On interoperability of research information based on CERIF in Republic of Moldova
Cujba Rodica1, Rusu Andrei12
1 Information Society Development Institute, S.E.,
2 Universitatea „Ovidius“, 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-7. Vizualizări-122
-----------------------------------------------------------------------------------------------------------------------------------
Public Research and Innovation Infrastructure of the Republic of Moldova: Challenges and Opportunities
Cojocaru Igor, Roşca Alfreda, Rusu Andrei, Guzun Mihail
Institutul de Dezvoltare a Societăţii Informaţionale, Î.S.
Central and Eastern European eDem and eGov Days
2018. Viena, Austria. ISBN 978-3-7089-1737-5.
Disponibil online 29 October, 2018. Descarcări-18. Vizualizări-121
-----------------------------------------------------------------------------------------------------------------------------------

2017 - 2

Menţinerea şi dezvoltarea infrastructurii publice de cercetare şi inovare
Cojocaru Igor, Roşca Alfreda, Guzun Mihail, Rusu Andrei
Institutul de Dezvoltare a Societăţii Informaţionale, Î.S.
Revista de Ştiinţă, Inovare, Cultură şi Artă „Akademos”
Nr. 4(47) / 2017 / ISSN 1857-0461
Disponibil online 21 February, 2018. Descarcări-19. Vizualizări-209
-----------------------------------------------------------------------------------------------------------------------------------
On existential expressibility of formulas in the simplest non-trivial super-intuitionistic propositional logic
Rusu Andrei12, Rusu Elena3
1 Universitatea „Ovidius“, Constanţa,
2 Information Society Development Institute, S.E.,
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-2. Vizualizări-147
-----------------------------------------------------------------------------------------------------------------------------------

2016 - 1

On computer aided knowledge discovery in logic and related Areas
Rusu Andrei12, Rusu Elena3
1 Information Society Development Institute, S.E.,
2 Universitatea „Ovidius“, 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-0. Vizualizări-84
-----------------------------------------------------------------------------------------------------------------------------------

2015 - 2

On e-Infrastructure for SSO in R&D and education organizations of Republic of Moldova
Rusu Andrei1, Rusu Elena2
1 Information Society Development Institute, S.E.,
2 Technical University of Moldova
Telecommunications, Electronics and Informatics
2015. Chișinău, Republica Moldova. ISBN 978-9975-45-377-6.
Disponibil online 22 May, 2018. Descarcări-3. Vizualizări-107
-----------------------------------------------------------------------------------------------------------------------------------
On the absence of finite approximation relative to model completeness in propositional provability logic
Izbash Olga1, Rusu Andrei23
1 Institute of Mathematics and Computer Science of the Academy of Sciences of Moldova,
2 Information Society Development Institute, S.E.,
3 Universitatea „Ovidius“, Constanţa
Buletinul Academiei de Ştiinţe a Moldovei. Matematica
Nr. 3(79) / 2015 / ISSN 1024-7696
Disponibil online 10 June, 2016. Descarcări-2. Vizualizări-221
-----------------------------------------------------------------------------------------------------------------------------------

2014 - 1

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 of the Academy of Sciences of Moldova,
2 Information Society Development Institute, S.E.,
3 Universitatea „Ovidius“, 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-94
-----------------------------------------------------------------------------------------------------------------------------------

2013 - 2

Infinitely many maximal primitive positive clones in a diagonalizable algebra
Rusu Andrei
Universitatea „Ovidius“, Constanţa
Buletinul Academiei de Ştiinţe a Moldovei. Matematica
Nr. 2-3(73) / 2013 / ISSN 1024-7696
Disponibil online 25 February, 2014. Descarcări-6. Vizualizări-283
-----------------------------------------------------------------------------------------------------------------------------------
Infinitely many precomplete relative to parametric expressibility classes of formulas in a provability logic
Rusu Andrei
Information Society Development Institute, S.E.
International Conference on Intelligent Information Systems
2013. Chișinău. .
Disponibil online 12 February, 2018. Descarcări-3. Vizualizări-96
-----------------------------------------------------------------------------------------------------------------------------------

2007 - 1

Infinitely many functional pre-complete classes of formulas in the propositional provability intuitionistic logic
Rusu Andrei
Institute of Mathematics and Computer Science of the Academy of Sciences of Moldova
Buletinul Academiei de Ştiinţe a Moldovei. Matematica
Nr. 1(53) / 2007 / ISSN 1024-7696
Disponibil online 16 December, 2013. Descarcări-1. Vizualizări-281
-----------------------------------------------------------------------------------------------------------------------------------
1 - 11 of 11