Нікітченко, М.С.; Шкільняк, С.С.; Антонова, І.А.
(2008)
Розглянуто застосування операторів побудови нерухомої та Т-нерухомої точок для композиційно-номінативних логік різних рівнів абстракції. Оператори побудови нерухомих точок можна розглядати і як метакомпозиції, які за ...