Interpretations of equational specifications of abstract data types
Вантажиться...
Файли
Дата
Автори
Назва журналу
Номер ISSN
Назва тому
DOI
Анотація
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.
Опис
Ключові слова
УДК
Тип документа
Мова
Є частиною
ISSN
Бібліографічний опис
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.