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