Нікітченко, М.С.; Шкільняк, С.С.
(2010)
Будуються нові логіки, які дозволяють більш адекватно описувати властивості предикатів та функцій, визначених над ієрархічними даними. Характерною властивістю цих логік є використання в їх мовах складних імен. Вивчаються ...