Afiliat la Institutul de Matematică şi Informatică al AŞM
| Towards an Algebraic Set Theory for the Formalization of Data Structures |
| Druguş Ioachim |
| Conference on Mathematical Foundations of Informatics |
| 2018. Chișinău. "VALINEX" SRL. 73-89. |
| Disponibil online 3 July, 2018 |
| Towards an Algebraic Explication of Quantity |
| Druguş Ioachim |
| Conference on Mathematical Foundations of Informatics |
| 2017. Chișinău, Republica Moldova. "VALINEX" SRL. 65-70. |
| Disponibil online 19 March, 2018 |
| Generalized Boolean Algebras as Single Composition Systems for Measure Theory |
| Druguş Ioachim |
| Conference of Mathematical Society of the Republic of Moldova |
| 4. 2017. Chişinău. Centrul Editorial-Poligrafic al USM. 75-78. |
| Disponibil online 3 October, 2017 |
| An Extensional Model of Natural Languages |
| Druguş Ioachim |
| Conference on Mathematical Foundations of Informatics |
| 2016. Chișinău, Republica Moldova. "VALINEX" SRL. 191-207. |
| Disponibil online 30 March, 2018 |
| Universics: an Axiomatic Theory of Universes for the Foundations. Part 1. Foundational Completeness |
| Druguş Ioachim |
| Workshop on Foundations of Informatics |
| I. 2015. Chișinău, Republica Moldova. "VALINEX" SRL. 118-141. |
| Disponibil online 3 October, 2017 |
| Universics: an Axiomatic Theory of Universes for the Foundations. Part 2. Well-Founded Universes and An Algebraic Set Theory Based on Universics |
| Druguş Ioachim |
| Workshop on Foundations of Informatics |
| I. 2015. Chișinău, Republica Moldova. "VALINEX" SRL. 142-153. |
| Disponibil online 3 October, 2017 |
| Metalingua, a Formal Language for Metalogic, Semantic Web and Languistics |
| Druguş Ioachim |
| International Workshop on Intelligent Information Systems |
| 2011. Chișinău, Republica Moldova. Institute of Mathematics and Computer Science. 167-170. |
| Disponibil online 3 May, 2019 |
    |
1-9 of 9
