Interpretations of equational specifications of abstract data types
| dc.contributor.author | Mehdiyev, Hicran | en |
| dc.contributor.author | Mamedov, Oktay | en |
| dc.date.accessioned | 2016-11-14T23:17:20Z | |
| dc.date.available | 2016-11-14T23:17:20Z | |
| dc.date.issued | 2016 | |
| 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.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.language.iso | en | en |
| dc.publisher | Вінницький національний технічний університет | uk |
| dc.title | Interpretations of equational specifications of abstract data types | en |
| dc.type | Thesis |
Файли
Контейнер файлів
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
- Опис: