eKMAIR

Секвенційні числення композиційно-номінативних модальних і темпоральних логік

Show simple item record

dc.contributor.author Шкільняк, Оксана
dc.date.accessioned 2015-02-12T09:33:15Z
dc.date.available 2015-02-12T09:33:15Z
dc.date.issued 2009
dc.identifier.citation Шкільняк О. С. Секвенційні числення композиційно-номінативних модальних і темпоральних логік / Шкільняк О.С. // Наукові записки НаУКМА. - 2009. - Т. 99 : Комп'ютерні науки. - С. 37-44. uk
dc.identifier.uri http://ekmair.ukma.edu.ua/handle/123456789/3908
dc.description.abstract На основі інтегрованого інтенсіонально-екстенсіонального підходу до побудови логічних та програмних систем досліджено композиційно-номінативні модальні та темпоральні логіки номінативних рівнів. Для зазначених логік збудовано числення секвенційного типу. Для таких числень доведено теореми коректності та повноти. uk
dc.language.iso uk uk
dc.title Секвенційні числення композиційно-номінативних модальних і темпоральних логік uk
dc.type Article uk
dc.status published earlier uk


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Browse

My Account

Statistics