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