Interpretations of equational specifications of abstract data types
| dc.contributor.author | Mehdiyev, Hicran | en |
| dc.contributor.author | Mamedov, Oktay | en |
| dc.title | Interpretations of equational specifications of abstract data types | en |
| dc.date.issued | 2016 | |
| dc.publisher | Вінницький національний технічний університет | uk |
| dc.identifier.citation | Mehdiyev H. АInterpretations of equational specifications of abstract data types [Текст] / Hicran Mehdiyev, Oktay Mamedov // Proceedings of the tenth international scientific-practical conference «Internet-Education-Science» (IES-2016), Vinnytsia, 11-14 October, 2016. - Vinnytsia : VNTU, 2016. - С. 112-113. | en |
| dc.identifier.isbn | 978-966-641-646-2 | |
| dc.identifier.udc | 519.1 | |
| dc.identifier.uri | http://ir.lib.vntu.edu.ua/handle/123456789/13398 | |
| dc.description.abstract | Here we define a notion of interpretation for equational specifications of abstract data types. Then we show that relative this interpretation (after standard factorization) the class of all varieties generated by abstract data types forms a complete lattice. | en |
| dc.description.abstract | Мы определяем понятие интерпретации для эквациональных спецификаций абстрактных типов данных. Затем показывается, что относительно этой интерпретации (после стандартной факторизации) класс всех многообразий, порождѐнных абстрактными типами данных составляет некоторую полную решѐтку. | ru |
| dc.type | Thesis | |
| dc.language.iso | en | en |
| dc.date.accessioned | 2016-11-14T23:17:20Z | |
| dc.date.available | 2016-11-14T23:17:20Z |
Файли
Контейнер файлів
1 - 1 з 1
Вантажиться...
- Назва:
- 112-113.pdf
- Розмір:
- 636,3 KB
- Формат:
- Adobe Portable Document Format
- Опис:
- 112-113
Ліцензійна угода
1 - 1 з 1
Вантажиться...
- Назва:
- license.txt
- Розмір:
- 2,14 KB
- Формат:
- Item-specific license agreed upon to submission
- Опис: