Нікітченко, М.С.; Шкільняк, О.С.; Шкільняк, С.С.
(Проблеми програмування, 2014)
Досліджено першопорядкові композиційно-номінативні логіки часткових однозначних, тотальних неоднозначних та часткових не-однозначних квазіарних предикатів. Запропоновано розширення цих логік узагальненими реномінаціями та ...