Lista publicaţiilor: Izbaş Olga Ilie (6), Descărcări - 3, Vizualizări - 3697
Articole în materiale ale conferințelor
About model completeness in the provability-intuitionistic logic and its extensions |
Izbash Olga |
Conference of Mathematical Society of the Republic of Moldova |
4. 2017. Chişinău. Centrul Editorial-Poligrafic al USM. 87-90. |
Disponibil online 3 October, 2017. Descarcări-2. Vizualizări-904 |
On absence of finite approximation relative to model completeness in the propositional provability logic |
Izbash Olga, Rusu Andrei |
Conference of Mathematical Society of the Republic of Moldova |
3. 2014. Chișinău. "VALINEX" SRL. 98-101. |
Disponibil online 9 October, 2017. Descarcări-0. Vizualizări-753 |
Algebraic representation of generalized boolean algebras |
Kuznetsov Eugene, Izbash Vladimir, Izbash Olga |
Conference on Mathematical Foundations of Informatics |
2018. Chișinău. "VALINEX" SRL. 127-133. |
Disponibil online 3 July, 2018. Descarcări-1. Vizualizări-786 |
On functionally completeness of quasigroups |
Izbash Olga, Izbash Vladimir |
Proceedings IMCS-55 |
2019. Chișinău, Republica Moldova. "VALINEX" SRL. 85-86. |
Disponibil online 1 November, 2019. Descarcări-0. Vizualizări-573 |
Trinomul pătrat în situaţii nonstandard |
Izbaş Olga, Izbaş Vladimir |
The 26th Conference on Applied and Industrial Mathematics |
2018. Chișinău, Republica Moldova. Tiraspol State University. 166-169. |
Disponibil online 22 January, 2020. Descarcări-0. Vizualizări-610 |
Some properties of IG-quasigroups |
Izbash Vladimir, Izbash Olga |
Mathematics and Information Technologies: Research and Education |
2023. Chişinău. . 25-26. |
Disponibil online 25 April, 2024. Descarcări-0. Vizualizări-71 |