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