IBN
  



  













    
  


    
Închide
Rusu Elena
Afiliat la Universitatea Tehnică a Moldovei

2019 - 1

On completeness as to ¬-expressibility in a 4-valued provability logic

Rusu Andrei, Rusu Elena
Proceedings IMCS-55The Fifth Conference of Mathematical Society of the Republic of Moldova
2019. Chișinău, Republica Moldova. Tipografia Valinex. 142-145.
Disponibil online 28 November, 2019
-----------------------------------------------------------------------------------------------------------------------------------

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
-----------------------------------------------------------------------------------------------------------------------------------

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
-----------------------------------------------------------------------------------------------------------------------------------

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. Universitatea Tehnică a Moldovei. 294-295.
Disponibil online 22 May, 2018
-----------------------------------------------------------------------------------------------------------------------------------
 
 

1-4 of 4