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