IBN
Închide

Rusu Andrei

Articole în reviste din RM - 5, Descărcări - 51, Vizualizări - 4238
XLS PDF DOC
ISO 690-2012

2023 - 1

On some classes of formulas in S5 which are pre-complete relative to existential expressibility
Rusu Andrei , Rusu Elena
Computer Science Journal of Moldova
Nr. 3(93) / 2023 / ISSN 1561-4042 / ISSNe 2587-4330
Disponibil online 16 January, 2024. Descarcări-0. Vizualizări-62
-----------------------------------------------------------------------------------------------------------------------------------

2017 - 1

Menţinerea şi dezvoltarea infrastructurii publice de cercetare şi inovare
Cojocaru Igor , Roşca Alfreda , Guzun Mihail , Rusu Andrei
Revista de Ştiinţă, Inovare, Cultură şi Artă „Akademos”
Nr. 4(47) / 2017 / ISSN 1857-0461 / ISSNe 2587-3687
Disponibil online 21 February, 2018. Descarcări-36. Vizualizări-1224
-----------------------------------------------------------------------------------------------------------------------------------

2015 - 1

On the absence of finite approximation relative to model completeness in propositional provability logic
Izbash Olga , Rusu Andrei
Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica
Nr. 3(79) / 2015 / ISSN 1024-7696 / ISSNe 2587-4322
Disponibil online 10 June, 2016. Descarcări-3. Vizualizări-1190
-----------------------------------------------------------------------------------------------------------------------------------

2013 - 1

Infinitely many maximal primitive positive clones in a diagonalizable algebra
Rusu Andrei
Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica
Nr. 2-3(73) / 2013 / ISSN 1024-7696 / ISSNe 2587-4322
Disponibil online 25 February, 2014. Descarcări-7. Vizualizări-917
-----------------------------------------------------------------------------------------------------------------------------------

2007 - 1

Infinitely many functional pre-complete classes of formulas in the propositional provability intuitionistic logic
Rusu Andrei
Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica
Nr. 1(53) / 2007 / ISSN 1024-7696 / ISSNe 2587-4322
Disponibil online 16 December, 2013. Descarcări-5. Vizualizări-845
-----------------------------------------------------------------------------------------------------------------------------------
1 - 5 of 5