Шкільняк, С.С.; Волковицький, Д.Б.
(Проблеми програмування, 2016)
Досліджено безкванторні композиційно-номінативні логіки часткових квазіарних предикатів. Виділено такі рівні цих логік: реномінативний, реномінативний з предикатами слабкої рівності, реномінативний з предикатами строгої ...