Композиційно-номінативні логіки над ієрархічними даними

dc.contributor.author	Нікітченко, М.С.
dc.contributor.author	Шкільняк, С.С.
dc.date.accessioned	2010-12-27T09:06:41Z
dc.date.available	2010-12-27T09:06:41Z
dc.date.issued	2010
dc.identifier.citation	Композиційно-номінативні логіки над ієрархічними даними / М.С. Нікітченко, С.С. Шкільняк // Пробл. програмув. — 2010. — № 2-3. — С. 48-57. — Бібліогр.: 7 назв. — укр.	uk_UA
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/14588
dc.description.abstract	Будуються нові логіки, які дозволяють більш адекватно описувати властивості предикатів та функцій, визначених над ієрархічними даними. Характерною властивістю цих логік є використання в їх мовах складних імен. Вивчаються семантичні властивості таких логік та визначаються відповідні числення секвенційного типу.	uk_UA
dc.description.abstract	New logics more adequate for property descriptions of functions and predicates over hierarchical data are constructed. A characteristic fea-ture of such logics is use of composite names in their languages. Semantic properties of such logics are investigated, corresponding sequent calculi are defined.	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 logics over hierarchical data	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	004.4