Композиційно-номінативні модальні логіки функціонально-екваційного рівня
dc.contributor.author | Шкільняк, О.С. | |
dc.date.accessioned | 2010-12-27T08:57:48Z | |
dc.date.available | 2010-12-27T08:57:48Z | |
dc.date.issued | 2010 | |
dc.description.abstract | Пропонуються композиційно-номінативні модальні та темпоральні логіки функціонально-екваційного рівня. Для цих логік визначаються транзиційні та темпоральні модальні системи, досліджуються їх семантичні властивості. | uk_UA |
dc.description.abstract | Composition nominative modal and temporal logics of functional-equational level are introduced in this paper. Transition and temporal modal systems are specified for such logics, and their semantic properties are investigated. | uk_UA |
dc.identifier.citation | Композиційно-номінативні модальні логіки функціонально-екваційного рівня / О.С. Шкільняк // Пробл. програмув. — 2010. — № 2-3. — С. 42-47. — Бібліогр.: 6 назв. — укр. | uk_UA |
dc.identifier.issn | 1727-4907 | |
dc.identifier.udc | 681.3.06 | |
dc.identifier.uri | https://nasplib.isofts.kiev.ua/handle/123456789/14583 | |
dc.language.iso | uk | uk_UA |
dc.publisher | Інститут програмних систем НАН України | uk_UA |
dc.status | published earlier | uk_UA |
dc.subject | Теоретичні та методологічні основи програмування | uk_UA |
dc.title | Композиційно-номінативні модальні логіки функціонально-екваційного рівня | uk_UA |
dc.title.alternative | Composition nominative modal logics of functional-equational level | uk_UA |
dc.type | Article | uk_UA |
Файли
Оригінальний контейнер
1 - 1 з 1
Завантаження...
- Назва:
- 4Р1 с 42-47.pdf
- Розмір:
- 650.12 KB
- Формат:
- Adobe Portable Document Format
Контейнер ліцензії
1 - 1 з 1
Завантаження...
- Назва:
- license.txt
- Розмір:
- 911 B
- Формат:
- Item-specific license agreed upon to submission
- Опис: