Шкільняк О. С. Секвенційні числення композиційно-номінативних модальних і темпоральних логік / О. С. Шкільняк // Наук. зап. НаУКМА. Сер. Комп'ют. науки. - 2009. - Т. 99. - С. 37-44. - Бібліогр.: 4 назв. - укp.
На підставі інтегрованого інтенсіонально-екстенсіонального підходу до побудови логічних та програмних систем досліджено композиційно-номінативні модальні та темпоральні логіки номінативних рівнів. Для зазначених логік збудовано числення секвенційного типу. Для таких числень доведено теореми коректності та повноти.
Шифр НБУВ: Ж69184/Комп.н.Пошук видання у каталогах НБУВДодаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"