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.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.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.language.iso | en | en |
dc.publisher | ВНТУ | uk |
dc.title | Interpretations of equational specifications of abstract data types | en |
dc.type | Thesis | |
dc.identifier.udc | 519.1 | |