Нікітченко, М.С.; Шкільняк, О.С.; Шкільняк, C.С.; Мамедов, Т.А.
(Проблеми програмування, 2019)
Досліджено нові програмно-орієнтовані логічні формалізми – логіки часткових предикатів з операцією (композицією) предикатного доповненням, названі LC. Подібні операції використовуються в різних варіантах логік Флойда – ...