Research output: Chapter in Book/Report/Conference proceeding › Conference abstracts › Research › peer-review
| Translated title of the contribution | Алгоритмы для проверки двух элементарных конъюнкций на изоморфизм |
|---|---|
| Original language | English |
| Title of host publication | Proceedings of Computer Science and Information Technologies 2023 Conference |
| Pages | 13-16 |
| Number of pages | 4 |
| DOIs | |
| State | Published - 25 Sep 2023 |
| Event | 14th International Conference on Computer Science and Information Technologies CSIT 2023 - National Academy of Sciences of the Republic of Armenia, Institute for Informatics and Automation Problems, Ереван, Armenia Duration: 25 Sep 2023 → 30 Sep 2023 |
| Conference | 14th International Conference on Computer Science and Information Technologies CSIT 2023 |
|---|---|
| Abbreviated title | CSIT-2023 |
| Country/Territory | Armenia |
| City | Ереван |
| Period | 25/09/23 → 30/09/23 |
ID: 112562463