The Non-Deterministic Strategy of Rewriting

dc.contributor.author	Letichevsky, A.A.
dc.contributor.author	Letichevskyi, O.A.
dc.contributor.author	Peschanenko, V.S.
dc.date.accessioned	2015-06-16T20:18:19Z
dc.date.available	2015-06-16T20:18:19Z
dc.date.issued	2013
dc.identifier.citation	The Non-Deterministic Strategy of Rewriting / A.A. Letichevsky, O.A. Letichevskyi, V.S. Peschanenko // Управляющие системы и машины. — 2013. — № 6. — С. 53-58. — Бібліогр.: 15 назв. — англ.	uk_UA
dc.identifier.issn	0130-5395
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/83220
dc.description.abstract	Описана система алгебраического программирования – первая система переписывания термов, разделившая системы переписывающих правил и стратегии, а также система моделирования – базовая для системы верификации формальных спецификаций.	uk_UA
dc.description.abstract	The Algebraic Programming System is described – the first term rewriting system, which uses the rewriting rules system and strategies separately and to Insertion Modeling System IMS – a basic system for the Verification of a Formal Specification system.	uk_UA
dc.description.abstract	Описано систему алгебраїчного програмування – першу систему переписування термів, яка розділила системи правил перепи- сування і стратегії, та систему інсерційного моделювання – базову для системи верифікації формальних специфікацій	uk_UA
dc.language.iso	en	uk_UA
dc.publisher	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України	uk_UA
dc.relation.ispartof	Управляющие системы и машины
dc.subject	Информационные технологии и системы	uk_UA
dc.title	The Non-Deterministic Strategy of Rewriting	uk_UA
dc.title.alternative	Недетермінована стратегія переписування	uk_UA
dc.title.alternative	Недетерминированная стратегия переписывания	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	004.41,004.51