Композиційно-номінативні модальні логіки функціонально-екваційного рівня

dc.contributor.author	Шкільняк, О.С.
dc.date.accessioned	2010-12-27T08:57:48Z
dc.date.available	2010-12-27T08:57:48Z
dc.date.issued	2010
dc.identifier.citation	Композиційно-номінативні модальні логіки функціонально-екваційного рівня / О.С. Шкільняк // Пробл. програмув. — 2010. — № 2-3. — С. 42-47. — Бібліогр.: 6 назв. — укр.	uk_UA
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/14583
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.language.iso	uk	uk_UA
dc.publisher	Інститут програмних систем НАН України	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
dc.status	published earlier	uk_UA
dc.identifier.udc	681.3.06